Developing Mode-Rich Satellite Software by Refinement in Event B

  1. Lookup NU author(s)
  2. Dr Alexei Iliasov
  3. Dr Elena Troubitsyna
  4. Professor Alexander Romanovsky
Author(s)Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T
Editor(s)Kowalewski, S., Roveri, M.
Publication type Conference Proceedings (inc. Abstract)
Conference NameFormal Methods for Industrial Critical Systems: 15th International Workshop (FMICS)
Conference LocationAntwerp, Belgium
Year of Conference2010
Date20-21 September 2010
Volume6371
Pages50-66
Series TitleLecture Notes in Computer Science
ISBN9783642158971
Full text is available for this publication:
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-642-15898-8_4
DOI10.1007/978-3-642-15898-8_4
Actions    Link to this publication
Library holdingsSearch Newcastle University Library for this item