Modeling and Verification of Real-time Systems More Books Like This

Rigorous State-Based Methods Rigorous State-Based Methods
Rigorous State-Based Methods
2020
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2018
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
2017
Petri Nets Petri Nets
Petri Nets
2013
Application and Theory of Petri Nets and Concurrency Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency
2016
Modern Formal Methods and Applications Modern Formal Methods and Applications
Modern Formal Methods and Applications
2006
Intelligent Computer Graphics 2011 Intelligent Computer Graphics 2011
Intelligent Computer Graphics 2011
2008
Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 Model Driven Engineering for Distributed Real-Time Embedded Systems 2009
Model Driven Engineering for Distributed Real-Time Embedded Systems 2009
2013
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2015
Innovations in Intelligent Machines - 1 Innovations in Intelligent Machines - 1
Innovations in Intelligent Machines - 1
2008
Logics of Specification Languages Logics of Specification Languages
Logics of Specification Languages
2007
Agent Technology from a Formal Perspective Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
2006
Refinement in Z and Object-Z Refinement in Z and Object-Z
Refinement in Z and Object-Z
2013
Principles and Practice of Constraint Programming Principles and Practice of Constraint Programming
Principles and Practice of Constraint Programming
2016