Your search returned 4 results.

Results
	1.	Critical Systems: Formal Methods and Automated Verification [electronic resource] : 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 / by Petrucci, Laure [editor.] Seceleanu, Cristina [editor.] Cavalcanti, Ana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10471 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Tests and Proofs [electronic resource] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / by Prevosto, Virgile [editor.] Seceleanu, Cristina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14066 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Engineering of Computer-Based Systems [electronic resource] : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings / by Kofroň, Jan [editor.] Margaria, Tiziana [editor.] Seceleanu, Cristina [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14390 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	CyberSecurity in a DevOps Environment [electronic resource] : From Requirements to Monitoring / by Sadovykh, Andrey [editor.] Truscan, Dragos [editor.] Mallouli, Wissam [editor.] Cavalli, Ana Rosa [editor.] Seceleanu, Cristina [editor.] Bagnato, Alessandra [editor.] SpringerLink (Online service) Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in