M. Lauer
发表
Matthieu Roy,
J. Fabre,
M. Lauer,
2018
.
Matthieu Roy,
J. Fabre,
M. Lauer,
2017
.
K. Arnold,
U. Zuberbühler,
F. Merten,
2017
.
Matthieu Roy,
Michaël Lauer,
Jean-Charles Fabre,
2020,
RTNS.
Jérôme Ermont,
Frédéric Boniol,
Claire Pagetti,
2014,
Int. J. Crit. Comput. Based Syst..
Jérôme Ermont,
Frédéric Boniol,
Claire Pagetti,
2013,
NASA Formal Methods.
Oswald Drobnik,
Michael Matthes,
Michael Lauer,
2005,
Second Annual Conference on Wireless On-demand Network Systems and Services.
Matthieu Roy,
Michaël Lauer,
Jean-Charles Fabre,
2016
.
Jérôme Ermont,
Frédéric Boniol,
Claire Pagetti,
2010,
ISoLA.
Matthieu Roy,
Michaël Lauer,
Jean-Charles Fabre,
2018,
J. Softw. Evol. Process..