151. Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings /: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. (2020) Other Names: Beek, Maurice H. ter; Ničković, Dejan; FMICS (Conference), 25th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
152. Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015) Editors: Bernardo, Marco; Johnsen, Einar Broch Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th Record Type: Book Extent: 1 online resource (vii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
153. Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures /: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures. (2016) Editors: Bernardo, Marco; De Nicola, Rocco; Hillston, J (Jane), 1963- Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 16th Record Type: Book Extent: 1 online resource (vii, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
154. Formal methods: foundations and applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings. (2016) Editors: Cornelio, Marcio; Roscoe, A. W Other Names: Brazilian Symposium on Formal Methods, 18th Record Type: Book Extent: 1 online resource (xviii, 195 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
155. Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Geeraerts, Gilles Other Names: FORMATS (Conference), 15th Record Type: Book Extent: 1 online resource (x, 353 pages), 93 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
156. Formal techniques for distributed objects, components, and systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings /: 38th IFIP WG 6.1 International Conference, FORTE 2018, held as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, proceedings. (2018) Editors: Baier, Christel; Caires, Luís Other Names: FORTE (Conference), 38th; International Federated Conferences on Distributed Computing Techniques, 13th, jointly held conference Record Type: Book Extent: 1 online resource (xi, 197 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
157. Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers /: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers. (2017) Editors: Artho, Cyrille; Ölveczky, Peter Csaba Other Names: FTSCS (Workshop), 5th Record Type: Book Extent: 1 online resource (xii, 161 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
158. Formal techniques for safety-critical systems : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers /: fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers. (2016) Editors: Artho, Cyrille; Ölveczky, Peter Csaba Other Names: FTSCS (Workshop), 4th Record Type: Book Extent: 1 online resource (x, 271 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
159. Formal techniques for safety-critical systems : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers /: third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers. (2015) Editors: Artho, Cyrille; Ölveczky, Peter Csaba Other Names: International Workshop of Formal Techniques for Safety-Critical Systems, 3rd Record Type: Book Extent: 1 online resource (x, 257 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
160. Formalizing data-centric web services. (2015) Authors: Saleh, Iman Record Type: Book Extent: 1 online resource (xiii, 131 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗