Timo Latvala
发表
Elena Troubitsyna,
Yuliya Prokhorova,
Linas Laibinis,
2013,
SAFECOMP.
Timo Latvala,
T. Latvala,
2005
.
Martin Lange,
Timo Latvala,
Keijo Heljanko,
2006,
CAV.
Ivan Porres,
Timo Latvala,
Tommi A. Junttila,
2006
.
Timo Latvala,
Marko Mäkelä,
T. Latvala,
2004,
ICATPN.
Timo Latvala,
T. Latvala,
2001
.
Timo Latvala,
Keijo Heljanko,
Keijo Heljanko,
2000,
Fundam. Informaticae.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2012,
2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA).
Timo Latvala,
T. Latvala,
2003,
SPIN.
Elena Troubitsyna,
Linas Laibinis,
Dubravka Ilic,
2016,
SAFECOMP.
Timo Latvala,
Kimmo Varpaaniemi,
Marko Mäkelä,
2004
.
Timo Latvala,
Gul A. Agha,
Rajesh K. Karmani,
2007,
First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007).
Timo Latvala,
Heikki Tauriainen,
2004,
Nord. J. Comput..
Elena Troubitsyna,
Timo Latvala,
Tuomas Kuismin,
2017,
SERENE.
Armin Biere,
Timo Latvala,
Keijo Heljanko,
2005,
VMCAI.
Timo Latvala,
Tommi Junttila,
2006
.
Timo Latvala,
Viorel Preoteasa,
Kimmo Varpaaniemi,
2019,
CS&P.
Yuliya Prokhorova,
Timo Latvala,
Victor Bos,
2016,
2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Elena Troubitsyna,
Linas Laibinis,
Dubravka Ilic,
2013,
Industrial Deployment of System Engineering Methods.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2010,
ASM.
Yuliya Prokhorova,
Linas Laibinis,
Timo Latvala,
2012,
Int. J. Crit. Comput. Based Syst..
Viktor Schuppan,
Armin Biere,
Timo Latvala,
2006,
Log. Methods Comput. Sci..
Timo Latvala,
T. Latvala,
2001,
ICATPN.
Elena Troubitsyna,
Timo Latvala,
Inna Pereverzeva,
2012,
SAFECOMP.
Ivan Porres,
Timo Latvala,
Tommi A. Junttila,
2006
.
Elena Troubitsyna,
Timo Latvala,
Inna Pereverzeva,
2015,
SAFECOMP.
Timo Latvala,
2008
.
Timo Latvala,
Keijo Heljanko,
Tommi A. Junttila,
2005,
CAV.
Linas Laibinis,
Dubravka Ilic,
Timo Latvala,
2010
.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2010,
FMICS.
Timo Latvala,
T. Latvala,
2002
.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2010,
SAFECOMP.
Elena Troubitsyna,
Yuliya Prokhorova,
Linas Laibinis,
2011,
2011 18th Asia-Pacific Software Engineering Conference.
Timo Latvala,
Yaniv Eytani,
2006,
Haifa Verification Conference.
Armin Biere,
Timo Latvala,
Keijo Heljanko,
2004,
FMCAD.
Elena Troubitsyna,
Alexander Romanovsky,
Alexei Iliasov,
2013,
Sci. Comput. Program..