Computing and Software Science المزيد من الكتب المشابهة

Formal Methods Formal Methods
Formal Methods
٢٠٢٣
ModelEd, TestEd, TrustEd ModelEd, TestEd, TrustEd
ModelEd, TestEd, TrustEd
٢٠١٧
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
٢٠٢٠
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
٢٠١٩
From Reactive Systems to Cyber-Physical Systems From Reactive Systems to Cyber-Physical Systems
From Reactive Systems to Cyber-Physical Systems
٢٠١٩
AIxIA 2022 – Advances in Artificial Intelligence AIxIA 2022 – Advances in Artificial Intelligence
AIxIA 2022 – Advances in Artificial Intelligence
٢٠٢٣
Formal Methods in Outer Space Formal Methods in Outer Space
Formal Methods in Outer Space
٢٠٢١
Leveraging Applications of Formal Methods, Verification and Validation. Verification Leveraging Applications of Formal Methods, Verification and Validation. Verification
Leveraging Applications of Formal Methods, Verification and Validation. Verification
٢٠١٨
Formal Methods Formal Methods
Formal Methods
٢٠١٨
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٥
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
٢٠٢٢
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
٢٠٢٣
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
٢٠١٩
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
٢٠١٩
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
٢٠١٦