A case study shows multi-machine Hybrid Event-B can model an autonomous incident response system and express a global safety invariant about hazard-data consistency.
Butler (2009): Decomposition Strategies for Event-B
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.MA 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Autonomous System Safety Properties with Multi-Machine Hybrid Event-B
A case study shows multi-machine Hybrid Event-B can model an autonomous incident response system and express a global safety invariant about hazard-data consistency.