2 search results - page 1 / 1 » Applying Atomicity and Model Decomposition to a Space Craft ... |
131
click to vote
NFM
2011
14 years 7 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
148
click to vote
FMCO
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...