Referentgranskade publikationer

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Integrating Stochastic Reasoning Into Event-B Development (2015)
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Formal Aspects of Computing
Visa på utgivarens sida
A4 Konferenspublikationer
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation (2015)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala
Springer
Visa på utgivarens sida

Senast uppdaterad 2017-20-06 vid 09:51