1. Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers /: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised selected papers. (2019) Editors: Artho, Cyrille; Ölveczky, Peter Csaba Other Names: FTSCS (Workshop), 6th Record Type: Book Extent: 1 online resource (xii, 179 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal aspects of component software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings /: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. (2018) Editors: Bae, Kyungmin; Ölveczky, Peter Csaba Other Names: FACS (Symposium), 15th Record Type: Book Extent: 1 online resource (xii, 297 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. 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) ↗
4. 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) ↗
5. Formal modeling and analysis of distributed systems : an introduction based on executable modeling in Maude /: an introduction based on executable modeling in Maude. (2017) Authors: Ölveczky, Peter Csaba Record Type: Book Extent: 1 online resource (250 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. 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) ↗
7. Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday /: essays dedicated to José Meseguer on the occasion of his 65th birthday. ([2015]) Editors: Martí-Oliet, N (Narciso); Ölveczky, Peter Csaba; Talcott, Carolyn L Other Names: Meseguer, José honouree. Record Type: Book Extent: 1 online resource (xi, 634 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. 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) ↗
9. Software engineering and formal methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings /: 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings. ([2019]) Editors: Ölveczky, Peter Csaba; Salaün, G (Gwen) Other Names: International Conference on Software Engineering and Formal Methods, 17th Record Type: Book Extent: 1 online resource (xviii, 550 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗