Formal Methods Applied to Industrial Complex Systems المزيد من الكتب المشابهة

Static Analysis of Software

٢٠١٣

Computer Safety, Reliability, and Security

٢٠١٠

Computer Safety, Reliability, and Security

٢٠٠٩

Computer Safety, Reliability, and Security

٢٠١٦

Certifiable Software Applications 3

٢٠١٨

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

٢٠١٩

Model-Based Safety and Assessment

٢٠١٧

Foundations of Computer Software

٢٠١١

Computer Safety, Reliability, and Security

٢٠١٧

Computer Safety, Reliability, and Security

٢٠٠٨

Software Engineering for Resilient Systems

٢٠١٧

Computer Safety, Reliability, and Security

٢٠١٩

Computer Safety, Reliability, and Security

٢٠١٨

Formal Methods for Industrial Critical Systems

٢٠١٩

Dependable Computer Systems

٢٠١١