Electronic Notes in Theoretical Computer Science, Volume 280

Volume 280, December 2011

Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods (FM 2011), Ireland, 21 June 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 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 Schneider, Helen Treharne, Heike Wehrheim:
Bounded Retransmission in Event-B∥CSP: a Case Study. 69-80
Renato Silva:
Towards the Composition of Specifications in Event-B. 81-93

Last update Fri May 24 20:18:25 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page