From Software Engineering to Formal Methods and Tools, and Back Maurice H. ter Beek, Alessandro Fantechi & Laura Semini의 도서 더 보기

Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2025년
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
2025년
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2022년
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2022년
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2020년
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019년
Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
2016년
Architecting Dependable Systems VI Architecting Dependable Systems VI
Architecting Dependable Systems VI
2009년