default search action
B@FM 2011: Limerick, Ireland
- Marie-Laure Potet, Helen Treharne:
Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods, FM 2011, Limerick, Ireland, June 21, 2011. Electronic Notes in Theoretical Computer Science 280, Elsevier 2011 - Marie-Laure Potet, Helen Treharne:
Preface. 1-2 - Marc V. Benveniste:
On Using B in the Design of Secure Micro-controllers: An Experience Report. 3-22 - Jean-Paul Bodeveix, Mamoun Filali:
Event B Development of a Synchronous AADL Scheduler. 23-33 - Dipak L. Chaudhari, Om P. Damani:
Generating Hierarchical State Based Representation From Event-B Models. 35-46 - Marc Frappier, Fama Diagne, Amel Mammar:
Proving Reachability in B using Substitution Refinement. 47-56 - Simon Hudon, Thai Son Hoang:
Development of Control Systems Guided by Models of their Environment. 57-68 - Steve A. Schneider
, Helen Treharne
Bounded Retransmission in Event-B∥CSP: a Case Study. 69-80 - Renato Silva:
Towards the Composition of Specifications in Event-B. 81-93
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: