Petur Olsen
发表
Frits W. Vaandrager,
Fides Aarts,
Faranak Heidarian,
2012,
FM.
Torben Bach Pedersen,
Laurynas Siksnys,
Luis Lino Ferreira,
2017
.
Anders P. Ravn,
Arne Skou,
Petur Olsen,
2015,
ICSOFT.
Anders P. Ravn,
Arne Skou,
Petur Olsen,
2013,
2013 39th Euromicro Conference on Software Engineering and Advanced Applications.
Shaoying Liu,
Anders P. Ravn,
Arne Skou,
2015,
2015 41st Euromicro Conference on Software Engineering and Advanced Applications.
Kim G. Larsen,
Marius Mikucionis,
Jirí Srba,
2016,
IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society.
Kim G. Larsen,
Jirí Srba,
Kenneth Yrke Jørgensen,
2011,
NASA Formal Methods.
Torben Bach Pedersen,
Laurynas Siksnys,
Luis Lino Ferreira,
2015
.
Kim G. Larsen,
Bent Thomsen,
Petur Olsen,
2008,
JTRES '08.
Petur Olsen,
Petur Olsen,
2014
.
Jan Tretmans,
Petur Olsen,
Johan Foederer,
2011,
ICTSS.
Anders P. Ravn,
Arne Skou,
Petur Olsen,
2013,
2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops).
Luis Lino Ferreira,
Arne Skou,
Michele Albano,
2016,
2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).
Kim G. Larsen,
Arne Skou,
Petur Olsen,
2010,
Electron. Notes Theor. Comput. Sci..
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2015,
FMICS.
Anders P. Ravn,
Arne Skou,
Petur Olsen,
2016,
From Action Systems to Distributed Systems.
Torben Bach Pedersen,
Laurynas Siksnys,
Luis Lino Ferreira,
2017
.
Arne Skou,
Petur Olsen,
Thibaut Le Guilly,
2017,
Models, Algorithms, Logics and Tools.