Methods, Models and Tools for Fault Tolerance المزيد من الكتب المشابهة

Software Engineering for Resilient Systems

٢٠١١

Architecting Dependable Systems VI

٢٠٠٩

New Trends in Model and Data Engineering

٢٠١٨

Foundations of Computer Software

٢٠١١

Architecting Dependable Systems V

٢٠٠٨

Formal Methods and Software Engineering

٢٠١٨

Model-Driven Engineering and Software Development

٢٠٢١

Formal Aspects of Component Software

٢٠١٤

Software Engineering for Resilient Systems

٢٠١٧

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

٢٠١٦

Computer Safety, Reliability, and Security

٢٠١٦

Computer Safety, Reliability, and Security

٢٠٠٧

Model-Based Safety and Assessment

٢٠١٧

Software Technologies: Applications and Foundations

٢٠١٨

Software Engineering and Formal Methods

٢٠١٥