Your search returned 3 results.

Results
1.	Image from Amazon.com Image from Coce	Software Engineering for Resilient Systems by Alessandro Fantechi, Patrizio Pelliccione Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2015 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
2.	Image from Amazon.com Image from Coce	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
3.	Image from Amazon.com Image from Coce	From Software Engineering to Formal Methods and Tools, and Back by Maurice H. ter Beek Alessandro Fantechi Laura Semini Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2019 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).