Browse by Type

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)