Verification and Evaluation of Computer and Communication Systems المزيد من الكتب المشابهة

Intelligent Networked Things Intelligent Networked Things
Intelligent Networked Things
٢٠٢٣
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
٢٠٢٠
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
٢٠١٨
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
٢٠١٠
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
٢٠٢٢
Computer Aided Systems Theory - EUROCAST 2009 Computer Aided Systems Theory - EUROCAST 2009
Computer Aided Systems Theory - EUROCAST 2009
٢٠٠٩
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
٢٠٢٠
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
٢٠٢٢
Measurement, Modelling and Evaluation of Computing Systems Measurement, Modelling and Evaluation of Computing Systems
Measurement, Modelling and Evaluation of Computing Systems
٢٠٢٠
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
٢٠١٨
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
٢٠٢١
Artificial Intelligence and Computational Intelligence Artificial Intelligence and Computational Intelligence
Artificial Intelligence and Computational Intelligence
٢٠١١
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
٢٠٢٢
Computer Aided Systems Theory - EUROCAST 2007 Computer Aided Systems Theory - EUROCAST 2007
Computer Aided Systems Theory - EUROCAST 2007
٢٠٠٧
Formal Methods: Applications and Technology Formal Methods: Applications and Technology
Formal Methods: Applications and Technology
٢٠٠٧