Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Ilic, Dubravka"'
Autor:
Iliasov, Alexei, Troubitsyna, Elena, Laibinis, Linas, Romanovsky, Alexander, Varpaaniemi, Kimmo, Ilic, Dubravka, Latvala, Timo
Publikováno v:
In Science of Computer Programming 1 July 2013 78(7):884-905
Autor:
Troubitsyna, Elena, Laibinis, Linas, Pereverzeva, Inna, Kuismin, Tuomas, Ilic, Dubravka, Latvala, Timo
Publikováno v:
Computer Safety, Reliability & Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings; 2016, p213-225, 13p
Autor:
Iliasov, Alexei, Troubitsyna, Elena, Laibinis, Linas, Romanovsky, Alexander, Varpaaniemi, Kimmo, Ilic, Dubravka, Latvala, Timo
Publikováno v:
Abstract State Machines, Alloy, B & Z; 2010, p174-188, 15p
Autor:
Iliasov, Alexei, Troubitsyna, Elena, Laibinis, Linas, Romanovsky, Alexander, Varpaaniemi, Kimmo, Ilic, Dubravka, Latvala, Timo
Publikováno v:
Formal Methods for Industrial Critical Systems (9783642158971); 2010, p50-66, 17p