31. Formal modeling and analysis of timed systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings /: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings. (2016) Editors: Fränzle, Martin; Markey, Nicolas, 1976- Other Names: FORMATS (Conference), 14th Record Type: Book Extent: 1 online resource (xii, 245 pages), illustrations (chiefly color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. Formal modeling and analysis of timed systems : 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings /: 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings. (2020) Other Names: (Researcher), Bertrand, Nathalie; Jansen, Nils; FORMATS (Conference), 18th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. Formal techniques for distributed objects, components, and systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /: 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. (2017) Editors: Bouajjani, Ahmed; Silva, Alexandra Other Names: FORTE (Conference), 37th; International Federated Conferences on Distributed Computing Techniques, 12th, jointly held conference Record Type: Book Extent: 1 online resource (xiv, 243 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
34. 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) ↗
35. Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /: 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings. (2018) Other Names: Peled, Doron A, 1962-; Vardi, Moshe Y; FORTE 2002 Record Type: Book Extent: 1 online resource (157 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. 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) ↗
37. Formal techniques for safety-critical systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers /: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers. (2020) Editors: Hasan, Osman, 1975-; Mallet, Frédéric Other Names: FTSCS (Workshop), 7th Record Type: Book Extent: 1 online resource (viii, 141 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. 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) ↗
39. 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) ↗
40. Formal verification of floating-point hardware design : a mathematical approach /: a mathematical approach. ([2019]) Authors: Russinoff, David, 1948- Record Type: Book Extent: 1 online resource (xxiv, 382 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗