Developing Mode-Rich Satellite Software by Refinement in Event-B Вид публикации: Book Chapter Авторы: Alexei Iliasov; Elena Troubitsyna; Linas Laibinis; Alexander Romanovsky; Kimmo Varpaaniemi; Dubravka Ilic; Timo Latvala Источник: Formal Methods for Industrial Critical Systems, FMICS 2010, Springer (2010)
