Modeling and Verification of Real-time Systems こちらもおすすめ

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年