Cyber Physical Systems. Design, Modeling, and Evaluation المزيد من الكتب المشابهة

Verification and Evaluation of Computer and Communication Systems Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems
٢٠١٨
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
٢٠٢٢
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
٢٠١٧
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
٢٠١٠
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
٢٠١٦
Verification and Evaluation of Computer and Communication Systems Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems
٢٠٢٠
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
٢٠١٩
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
٢٠٢٢
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
٢٠١٥
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
٢٠١٦
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
٢٠١٥
Computer Aided Systems Theory - EUROCAST 2009 Computer Aided Systems Theory - EUROCAST 2009
Computer Aided Systems Theory - EUROCAST 2009
٢٠٠٩
Formal Methods Formal Methods
Formal Methods
٢٠١٨
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
٢٠١٨
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
٢٠٢٠