Number of items at this level: 7.
Voisin, Laurent
(2013)
Mathematical Language of Event-B Proofs.
[Rodin Archive]
Olszewska, Marta and Sere, Kaisa
(2010)
Specification Metrics for Event-B Developments.
In: CONQUEST 2010, 20-22 September 2010, Dresden, Germany.
Ponsard, Christophe and De Landtsheer, Renaud
(2010)
Comparison of the AADL and Event-B
Model-Based Tool Chains for Designing
Embedded Systems.
In: First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, 15 June 2010, Paris, Université Pierre et Marie Curie.
(In Press)
Silva, Renato and Pascal, Carine and Hoang, T. Son and Butler, Michael
(2010)
Decomposition Tool for Event-B.
In: Workshop on Tool Building in Formal Methods - ABZ Conference.
(In Press)
Ponsard, Christophe and Dallons, Gautier and Philippe, Massonet
(2008)
From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems.
ERCIM News
(75).
pp. 22-23.
ISSN ISSN 0926-4981
Butler, Michael and Hallerstede, Stefan
(2007)
The Rodin Formal Modelling Tool.
In: BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, London.
(In Press)
Pascal, Carine
A-Style Decomposition Examples.
[Rodin Archive]
This list was generated on Wed Jan 17 07:49:24 2018 GMT.
