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

Petri Nets Petri Nets
Petri Nets
2013
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
Logical Modeling of Biological Systems Logical Modeling of Biological Systems
Logical Modeling of Biological Systems
2014
Co-design Approaches to Dependable Networked Control Systems Co-design Approaches to Dependable Networked Control Systems
Co-design Approaches to Dependable Networked Control Systems
2013
Systems Dependability Assessment Systems Dependability Assessment
Systems Dependability Assessment
2016
Modern Computational Finance Modern Computational Finance
Modern Computational Finance
2018
Constraint Satisfaction Problems Constraint Satisfaction Problems
Constraint Satisfaction Problems
2013
Supervision and Safety of Complex Systems Supervision and Safety of Complex Systems
Supervision and Safety of Complex Systems
2012
Discrete Event Systems in Dioid Algebra and Conventional Algebra Discrete Event Systems in Dioid Algebra and Conventional Algebra
Discrete Event Systems in Dioid Algebra and Conventional Algebra
2013
Model-Based Reinforcement Learning Model-Based Reinforcement Learning
Model-Based Reinforcement Learning
2022
Production Scheduling Production Scheduling
Production Scheduling
2013
Systems Biology Modelling and Analysis Systems Biology Modelling and Analysis
Systems Biology Modelling and Analysis
2022
Command-control for Real-time Systems Command-control for Real-time Systems
Command-control for Real-time Systems
2013
Optimization of Logistics Optimization of Logistics
Optimization of Logistics
2012
Recent Developments in Mathematical Programming Recent Developments in Mathematical Programming
Recent Developments in Mathematical Programming
2022