Using Event-B for Critical Device Software Systems More Books Like This

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
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
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
2017
Novel Insights in Agent-based Complex Automated Negotiation Novel Insights in Agent-based Complex Automated Negotiation
Novel Insights in Agent-based Complex Automated Negotiation
2009
Adaptive and Multilevel Metaheuristics Adaptive and Multilevel Metaheuristics
Adaptive and Multilevel Metaheuristics
2007
Adaptive Semantics Visualization Adaptive Semantics Visualization
Adaptive Semantics Visualization
2007
Parallel and Distributed Computational Intelligence Parallel and Distributed Computational Intelligence
Parallel and Distributed Computational Intelligence
2008
Intelligent Computer Graphics 2011 Intelligent Computer Graphics 2011
Intelligent Computer Graphics 2011
2008
Supervision and Safety of Complex Systems Supervision and Safety of Complex Systems
Supervision and Safety of Complex Systems
2012
Computational Intelligence in Security for Information Systems Computational Intelligence in Security for Information Systems
Computational Intelligence in Security for Information Systems
2009
Agent Technology from a Formal Perspective Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
2006
Artificial Intelligence in Theory and Practice II Artificial Intelligence in Theory and Practice II
Artificial Intelligence in Theory and Practice II
2010
Advanced Approaches to Intelligent Information and Database Systems Advanced Approaches to Intelligent Information and Database Systems
Advanced Approaches to Intelligent Information and Database Systems
2008
Wireless Networks Information Processing and Systems Wireless Networks Information Processing and Systems
Wireless Networks Information Processing and Systems
2008