Using Event-B for Critical Device Software Systems المزيد من الكتب المشابهة

Rigorous State-Based Methods Rigorous State-Based Methods
Rigorous State-Based Methods
٢٠٢٠
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
٢٠١٦
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
٢٠١٨
Provably Correct Systems Provably Correct Systems
Provably Correct Systems
٢٠١٧
Novel Insights in Agent-based Complex Automated Negotiation Novel Insights in Agent-based Complex Automated Negotiation
Novel Insights in Agent-based Complex Automated Negotiation
٢٠٠٩
Adaptive and Multilevel Metaheuristics Adaptive and Multilevel Metaheuristics
Adaptive and Multilevel Metaheuristics
٢٠٠٧
Adaptive Semantics Visualization Adaptive Semantics Visualization
Adaptive Semantics Visualization
٢٠٠٧
Parallel and Distributed Computational Intelligence Parallel and Distributed Computational Intelligence
Parallel and Distributed Computational Intelligence
٢٠٠٨
Intelligent Computer Graphics 2011 Intelligent Computer Graphics 2011
Intelligent Computer Graphics 2011
٢٠٠٨
Supervision and Safety of Complex Systems Supervision and Safety of Complex Systems
Supervision and Safety of Complex Systems
٢٠١٢
Computational Intelligence in Security for Information Systems Computational Intelligence in Security for Information Systems
Computational Intelligence in Security for Information Systems
٢٠٠٩
Agent Technology from a Formal Perspective Agent Technology from a Formal Perspective
Agent Technology from a Formal Perspective
٢٠٠٦
Artificial Intelligence in Theory and Practice II Artificial Intelligence in Theory and Practice II
Artificial Intelligence in Theory and Practice II
٢٠١٠
Advanced Approaches to Intelligent Information and Database Systems Advanced Approaches to Intelligent Information and Database Systems
Advanced Approaches to Intelligent Information and Database Systems
٢٠٠٨
Wireless Networks Information Processing and Systems Wireless Networks Information Processing and Systems
Wireless Networks Information Processing and Systems
٢٠٠٨