Number of items: 17.
Butler, Michael and Hallerstede, Stefan and Lecomte, thierry and Leuschel, Michael and Romanovsky, Alexander and Voisin, Laurent
(2012)
Rodin User & Developer Workshop Proceedings.
Newcastle University .
(Unpublished)
Varpaaniemi, Kimmo
(2012)
Some NuSMV Experiments on the Mode Synchronization Protocol in DSAOCSS.
Space Systems Finland Ltd.
(Unpublished)
Bryans, Jeremy W.
(2010)
Developing a Consensus Algorithm using Stepwise Refinement.
Newcastle University.
(Unpublished)
Sorge, Jennifer and Poppleton, Michael and Butler, Michael
(2010)
A Basis for Feature-Oriented Modelling in Event-B.
Springer, ABZ2010.
Väisänen, Pauli and Varpaaniemi, Kimmo
(2010)
DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15 without statement numbering.
Space Systems Finland Ltd.
(Unpublished)
Väisänen, Pauli and Varpaaniemi, Kimmo
(2010)
DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15.
Space Systems Finland Ltd.
(Unpublished)
Iliasov, Alexei
(2009)
On Event-B and Control Flow.
DEPLOY Project.
(Unpublished)
Bryans, Jeremy W. and Fitzgerald, John S. and Alexander, Romanovsky and Andreas, Roth
(2008)
Formal Modelling and Analysis of Business Information
Applications with Fault Tolerant Middleware.
Newcastle University, Newcastle University TR, accepted to appear in Proceedings of ICECCS 2009.
(In Press)
Latvala, Timo
(2008)
Deployment in the Space Sector (WP3 Meeting in Newcastle).
N/A.
(Unpublished)
Ilic, Dubravka and Latvala, Timo and Varpaaniemi, Kimmo
(2008)
BepiColombo - Modelling Approach (Issue I).
N/A.
(Unpublished)
Latvala, Timo
(2008)
Deployment in the Space Sector (Slides for DEPLOY Newcastle Kick-off Meeting).
N/A.
(Unpublished)
Falampin, Jerome
SYRAMS Requirement Table (STS).
N/A.
(Unpublished)
Jastram, Michael and Leuschel, Michael and Bendisposto, Jens and Russo Jr, Aryldo G
Mapping Requirements to B models.
UNSPECIFIED.
(Unpublished)
Dotti, Fernando and Iliasov, Alexei and Romanovsky, Alexander
Specifying Modal Systems using Event-B.
(Technical report).
(Unpublished)
Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo
Supporting Reuse in Event B Development: Modularisation Approach.
Aabo Akademi, Finland.
(Unpublished)
Edmunds, Andrew
Event-B Project Archives, for Tasking Event-B Tutorial.
University of Southampton.
(Unpublished)
Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei
Frameworks for developing Event-B modelling extensions in EMF.
None.
(Unpublished)
This list was generated on Wed Jan 17 07:49:33 2018 GMT.