Biblio Export 1 results: RTF EndNote XML Filters: Author is Alexei Iliasov [Clear All Filters]2010Iliasov, Alexei, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, and Timo Latvala. "Developing Mode-Rich Satellite Software by Refinement in Event-B." In Formal Methods for Industrial Critical Systems, FMICS 2010. Springer, 2010.DOI(link is external) Google Scholar(link is external) RTF EndNote XML
