Systems Dependability Assessment More Books Like This

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
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
Dynamics of Information Systems Dynamics of Information Systems
Dynamics of Information Systems
2010