Developing Mode-Rich Satellite Software by Refinement in Event B.

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala

Browse the full FMICS paper archive.