Number of items at this level: 9.
Deprez, Jean-Christophe and Ponsard, Christophe and Fitzgerald, John S.
(2011)
A FAQ Approach for Collecting Evidence on Formal Method Industrial Usage.
In: FM2011 / Industry Day, 20-24 June 2011, Limerick (Ireland).
Ponsard, Christophe and Deprez, Jean-Christophe
(2011)
Collaborative Building of an Open Evidence Repository
to Drive the Adoption of Formal Engineering Methods.
In: FM2011, 20-24 June 2011, Limerick (Ireland).
Bryans, Jeremy W. and Fitzgerald, John S. and McCutcheon, Tom
(2011)
Refinement-based techniques in the analysis of information flow policies for dynamic virtual organisations.
In: PRO-VE 2011 - 12th IFIP Working Conference on VIRTUAL ENTERPRISES, 17-19 October, Sao Paulo, Brazil.
(Submitted)
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)
Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond
(2009)
Development of a Network Topology Discovery Algorithm.
[Rodin Archive]
Butler, Michael and Jones, Cliff B and Romanovsky, Alexander and Troubitsyna, Elena
(2009)
Methods, Models and Tools for Fault Tolerance.
LNCS, 5454
.
Springer.
Fitzgerald, John S and Bryans, Jeremy W and Greathead, David and Jones, Clifff B and Payne, Richard
(2008)
Animation-based Validation of a Formal Model of Dynamic Virtual Organisations.
Electronic Workshops in Computing, http:/
.
Rezazadeh, Abdolbaghi and Butler, Michael and Evans, Neil
(2007)
Redevelopment of an Industrial Case Study Using Event-B and Rodin.
[Rodin Archive]
(In Press)
Wright, Stephen
A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor.
[DEPLOY Associate Item]
This list was generated on Wed Jan 17 07:49:15 2018 GMT.
