Critical Systems: Formal Methods and Automated Verification المزيد من كتب Maurice H. ter Beek, Stefania Gnesi & Alexander Knapp

Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
٢٠٢٥
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠٢٥
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
٢٠٢٢
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
٢٠٢٢
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
٢٠٢٠
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
٢٠١٩
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
٢٠١٩
Architecting Dependable Systems VI Architecting Dependable Systems VI
Architecting Dependable Systems VI
٢٠٠٩