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)

видяно 9050 пъти
Google Scholar
DOI
RTF
EndNote XML

Последно обновяване: вторник, 04 April 2017