Browse by Type

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)

Edmunds, Andrew and Butler, Michael (2009) A Code Generation Example for Event-B: A Shared Channel with Concurrent Read/Writers. University of Southampton. (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)