Sciweavers

Share
2 search results - page 1 / 1
» Applying Atomicity and Model Decomposition to a Space Craft ...
Sort
View
NFM
2011
264views Formal Methods» more  NFM 2011»
8 years 7 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, reļ¬nement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
FMCO
2009
Springer
203views Formal Methods» more  FMCO 2009»
8 years 10 months ago
Applying Event-B Atomicity Decomposition to a Multi Media Protocol
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...
Asieh Salehi Fathabadi, Michael Butler
books