61. Formal aspects of component software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers /: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers. (2016) Editors: (Computer scientist), Braga, Christiano; Ölveczky, Peter Csaba Other Names: FACS (Symposium), 12th Record Type: Book Extent: 1 online resource (x, 331 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
62. Theory and applications of formal argumentation : third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised selected papers /: third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised selected papers. (2015) Editors: (Lecturer in Computer Science), Black, Elizabeth; Modgil, Sanjay; Oren, Nir Other Names: TAFA (Workshop), 3rd Record Type: Book Extent: 1 online resource (x, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
63. Practical UML statecharts in C/C++ : event-driven programming for embedded systems /: event-driven programming for embedded systems. (2008) Other Names: Samek, Miro Record Type: Book Extent: 1 online resource (728 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. 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) ↗
65. Symposium on real-time and hybrid systems : essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /: essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday. (2018) Editors: Jones, Cliff; (Professor of computer science), Wang, Ji; Zhan, Naijun Other Names: Zhou, Chaochen 1937- honouree. Record Type: Book Extent: 1 online resource (xii, 263 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
66. 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) ↗
67. 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) ↗
68. 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) ↗
69. Formal methods in architecture and urbanism. (2018) Editors: Viana, David Leite; Morais, Franklim; Vaz, Jorge Vieira Record Type: Book Extent: 1 online resource (viii, 397 pages), illustrations, plans View Content: Available online (eLD content is only available in our Reading Rooms) ↗
70. Structured object-oriented formal language and method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers /: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised selected papers. (2020) Other Names: Miao, Huaikou, 1953-; Tian, Cong; Liu, Shaoying, 1960-; Duan, Zhenhua; SOFL+MSVL (Workshop), 9th Record Type: Book Extent: 1 online resource (366 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗