Number of items: 15.
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)
This list was generated on Thu Feb 9 07:49:12 2012 GMT.
