Your search returned 4 results.

Results
	1.	From Software Engineering to Formal Methods and Tools, and Back [electronic resource] : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / by ter Beek, Maurice H [editor.] Fantechi, Alessandro [editor.] Semini, Laura [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11865 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Formal Methods for Industrial Critical Systems [electronic resource] : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers / by Cofer, Darren [editor.] Fantechi, Alessandro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5596 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / by Fantechi, Alessandro [editor.] Lecomte, Thierry [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10598 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)
	4.	Software Engineering for Resilient Systems [electronic resource] : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / by Fantechi, Alessandro [editor.] Pelliccione, Patrizio [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9274 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 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