Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings / Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.). by International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy) [jointly held conference.] Petrucci, Laure [editor.] Seceleanu, Cristina [editor.] Cavalcanti, Ana [editor.] International Workshop on Automated Verification of Critical Systems (17th : 2017 : Turin, Italy) Series: Lecture notes in computer science ; 10471. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: FMICS-AVoCS 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Engineering of computer-based systems : 8th international conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, proceedings / Jan Kofroň, Tiziana Margaria, Cristina Seceleanu, editors. by International Conference on Engineering of Computer-Based Systems (8th : 2023 : Västerås, Sweden) Kofron, Jan, Ph. D [editor.] Margaria-Steffen, Tiziana, 1964- [editor.] Seceleanu, Cristina [editor.] Series: Lecture notes in computer science ; 14390. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2024]Copyright date: ©2024 Other title: ECBS 2023 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Tests and proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, proceedings / Virgile Prevosto, Cristina Seceleanu, editors. by TAP (Conference) (17th : 2023 : Leicester, England) Prevosto, Virgile [editor.] Seceleanu, Cristina [editor.] Series: Lecture notes in computer science ; 14066. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2023]Copyright date: ©2023 Other title: TAP 2023 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha