Phillip James
发表
Markus Roggenbach,
Phillip James,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Faron Moller,
Markus Roggenbach,
Helen Treharne,
2014
.
Markus Roggenbach,
Steve A. Schneider,
Helen Treharne,
2013,
NASA Formal Methods.
Markus Roggenbach,
Phillip James,
M. Roggenbach,
2014,
Math. Comput. Sci..
Markus Roggenbach,
Phillip James,
Simon Chadwick,
2018,
2018 International Conference on Intelligent Rail Transportation (ICIRT).
Ulrich Berger,
Monika Seisenberger,
Markus Roggenbach,
2017,
Sci. Comput. Program..
David Schleuning,
John Morales,
Phillip James,
2007,
SPIE LASE.
Phillip James,
Hongbo Ye,
Jonathan Preston,
2017
.
Markus Roggenbach,
Phillip James,
2017
.
Faron Moller,
Monika Seisenberger,
Markus Roggenbach,
2013,
SEFM Workshops.
Markus Roggenbach,
Phillip James,
M. Roggenbach,
2011,
ATE.
Faron Moller,
Markus Roggenbach,
Helen Treharne,
2014
.
Faron Moller,
Phillip James,
Lauren Powell,
2020,
ITiCSE.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2016,
ISoLA.
Markus Roggenbach,
Phillip James,
Lei Chen,
2016,
2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT).
Markus Roggenbach,
Phillip James,
Arnold Beckmann,
2012,
Haifa Verification Conference.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2014,
Sci. Comput. Program..
Monika Seisenberger,
Markus Roggenbach,
Phillip James,
2015,
FTSCS.
Markus Roggenbach,
Phillip James,
2010
.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2014,
International Journal on Software Tools for Technology Transfer.
Phillip James,
2009
.
Faron Moller,
Daniel Archambault,
Phillip James,
2019,
FTSCS.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2013,
SEFM Workshops.
Markus Roggenbach,
Till Mossakowski,
Alexander Knapp,
2012,
WADT.