Your search returned 3 results.

Results
1.	Image from Amazon.com Image from Coce	Formal Methods for Industrial Critical Systems by Fr�d�ric Lang, Francesco Flammini Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2014 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	Resilience of Cyber-Physical Systems by Francesco Flammini 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).
3.	Image from Amazon.com Image from Coce	Dependable Computing - EDCC 2020 Workshops by Simona Bernardi Francesco Flammini [et al.] Valeria Vittorini Series: Communications in Computer and Information Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).