Model Driven Engineering for Distributed Real-Time Embedded Systems 2009 こちらもおすすめ

Modeling and Verification of Real-time Systems Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
2013年
Analytic Methods in Systems and Software Testing Analytic Methods in Systems and Software Testing
Analytic Methods in Systems and Software Testing
2018年
Supervision and Safety of Complex Systems Supervision and Safety of Complex Systems
Supervision and Safety of Complex Systems
2012年
Engineering Informatics Engineering Informatics
Engineering Informatics
2013年
Logical Modeling of Biological Systems Logical Modeling of Biological Systems
Logical Modeling of Biological Systems
2014年
Autonomous Learning Systems Autonomous Learning Systems
Autonomous Learning Systems
2012年
Systems Dependability Assessment Systems Dependability Assessment
Systems Dependability Assessment
2016年
Constraint Satisfaction Problems Constraint Satisfaction Problems
Constraint Satisfaction Problems
2013年
Systems Biology Modelling and Analysis Systems Biology Modelling and Analysis
Systems Biology Modelling and Analysis
2022年
Modern Computational Finance Modern Computational Finance
Modern Computational Finance
2018年
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年
The Big R-Book The Big R-Book
The Big R-Book
2020年
Modern Computational Finance Modern Computational Finance
Modern Computational Finance
2021年
Petri Nets Petri Nets
Petri Nets
2013年
Evolutionary Computation in Scheduling Evolutionary Computation in Scheduling
Evolutionary Computation in Scheduling
2020年