Peer-reviewed publications

A1 Journal article (refereed)
Integrating Stochastic Reasoning Into Event-B Development (2015)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Formal Aspects of Computing
View on publisher's site
A4 Conference proceedings
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation (2015)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
Springer
View on publisher's site

Last updated on 2017-20-06 at 09:51