Verification and Evaluation of Computer and Communication Systems More Books Like This

Runtime Verification Runtime Verification
Runtime Verification
2017
Principles of Modeling Principles of Modeling
Principles of Modeling
2018
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2018
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2018
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2015
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2020
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2019
Coordination Models and Languages Coordination Models and Languages
Coordination Models and Languages
2017
Networked Systems Networked Systems
Networked Systems
2014
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2018
Verification and Evaluation of Computer and Communication Systems Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems
2017
Networked Systems Networked Systems
Networked Systems
2016
Cyber Physical Systems. Model-Based Design Cyber Physical Systems. Model-Based Design
Cyber Physical Systems. Model-Based Design
2020
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2017
Runtime Verification Runtime Verification
Runtime Verification
2018