Petur Olsen
发表
Torben Bach Pedersen,
Laurynas Siksnys,
Luis Lino Ferreira,
2017
.
Anders P. Ravn,
Arne Skou,
Petur Olsen,
2016,
From Action Systems to Distributed Systems.
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.
Anders P. Ravn,
Arne Skou,
Petur Olsen,
2013,
2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops).
Petur Olsen,
Petur Olsen,
2014
.
Jan Tretmans,
Petur Olsen,
Johan Foederer,
2011,
ICTSS.
Frits W. Vaandrager,
Fides Aarts,
Faranak Heidarian,
2012,
FM.
Luis Lino Ferreira,
Arne Skou,
Michele Albano,
2016,
2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).
Kim G. Larsen,
Jirí Srba,
Kenneth Yrke Jørgensen,
2011,
NASA Formal Methods.
Kim G. Larsen,
Bent Thomsen,
Petur Olsen,
2008,
JTRES '08.
Shaoying Liu,
Anders P. Ravn,
Arne Skou,
2015,
2015 41st Euromicro Conference on Software Engineering and Advanced Applications.