2 search results - page 1 / 1 » Applying Atomicity and Model Decomposition to a Space Craft ... |
NFM
2011
12 years 11 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...
FMCO
2009
Springer
13 years 2 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...