Methods, Models and Tools for Fault Tolerance 비슷한 책 더 보기
Software Engineering for Resilient Systems
2011년
Architecting Dependable Systems VI
2009년
New Trends in Model and Data Engineering
2018년
Foundations of Computer Software
2011년
Architecting Dependable Systems V
2008년
Formal Methods and Software Engineering
2018년
Model-Driven Engineering and Software Development
2021년
Formal Aspects of Component Software
2014년
Software Engineering for Resilient Systems
2017년
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
2016년
Computer Safety, Reliability, and Security
2016년
Computer Safety, Reliability, and Security
2007년
Model-Based Safety and Assessment
2017년
Software Technologies: Applications and Foundations
2018년
Software Engineering and Formal Methods
2015년