Modeling and Verification of Real-time Systems المزيد من الكتب المشابهة

Rigorous State-Based Methods Rigorous State-Based Methods
Rigorous State-Based Methods
٢٠٢٠
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
٢٠١٦
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
٢٠١٨
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
٢٠١٧
Petri Nets Petri Nets
Petri Nets
٢٠١٣
Application and Theory of Petri Nets and Concurrency Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency
٢٠١٦
Modern Formal Methods and Applications Modern Formal Methods and Applications
Modern Formal Methods and Applications
٢٠٠٦
Intelligent Computer Graphics 2011 Intelligent Computer Graphics 2011
Intelligent Computer Graphics 2011
٢٠٠٨
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
٢٠١٣
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
٢٠١٥
Innovations in Intelligent Machines - 1 Innovations in Intelligent Machines - 1
Innovations in Intelligent Machines - 1
٢٠٠٨
Logics of Specification Languages Logics of Specification Languages
Logics of Specification Languages
٢٠٠٧
Agent Technology from a Formal Perspective Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
٢٠٠٦
Refinement in Z and Object-Z Refinement in Z and Object-Z
Refinement in Z and Object-Z
٢٠١٣
Principles and Practice of Constraint Programming Principles and Practice of Constraint Programming
Principles and Practice of Constraint Programming
٢٠١٦