Systems Dependability Assessment 비슷한 책 더 보기

Supervision and Safety of Complex Systems Supervision and Safety of Complex Systems
Supervision and Safety of Complex Systems
2012년
Petri Nets Petri Nets
Petri Nets
2013년
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년
Modeling and Verification of Real-time Systems Modeling and Verification of Real-time Systems
Modeling and Verification of Real-time Systems
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년
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년
Mathematics Applied to Engineering Mathematics Applied to Engineering
Mathematics Applied to Engineering
2017년
Modern Formal Methods and Applications Modern Formal Methods and Applications
Modern Formal Methods and Applications
2006년
Parallel and Distributed Computational Intelligence Parallel and Distributed Computational Intelligence
Parallel and Distributed Computational Intelligence
2008년
Optimization of Logistics Optimization of Logistics
Optimization of Logistics
2012년
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년
Command-control for Real-time Systems Command-control for Real-time Systems
Command-control for Real-time Systems
2013년
Model-Based Control of Networked Systems Model-Based Control of Networked Systems
Model-Based Control of Networked Systems
2014년
Logical Modeling of Biological Systems Logical Modeling of Biological Systems
Logical Modeling of Biological Systems
2014년