Software Engineering for Resilient Systems Alessandro Fantechi & Patrizio Pelliccione: другие книги

From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
2019
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2017