Verification and Evaluation of Computer and Communication Systems 비슷한 책 더 보기

Intelligent Networked Things Intelligent Networked Things
Intelligent Networked Things
2023년
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
2020년
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
2018년
Computer Performance Engineering Computer Performance Engineering
Computer Performance Engineering
2010년
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
2022년
Computer Aided Systems Theory - EUROCAST 2009 Computer Aided Systems Theory - EUROCAST 2009
Computer Aided Systems Theory - EUROCAST 2009
2009년
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2020년
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2022년
Measurement, Modelling and Evaluation of Computing Systems Measurement, Modelling and Evaluation of Computing Systems
Measurement, Modelling and Evaluation of Computing Systems
2020년
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
2018년
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2021년
Artificial Intelligence and Computational Intelligence Artificial Intelligence and Computational Intelligence
Artificial Intelligence and Computational Intelligence
2011년
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
2022년
Computer Aided Systems Theory - EUROCAST 2007 Computer Aided Systems Theory - EUROCAST 2007
Computer Aided Systems Theory - EUROCAST 2007
2007년
Formal Methods: Applications and Technology Formal Methods: Applications and Technology
Formal Methods: Applications and Technology
2007년