P. Conmy
发表
Kristina Lundqvist,
Stefan Björnander,
Patrick Graydon,
2012
.
Xiaowei Huang,
P. Conmy,
Xing-E. Zhao,
2022,
AISafety@IJCAI.
Daniel Kroening,
Adam Nellis,
Peter Schrammel,
2015,
NFM.
Mikel Azkarate-askasua,
Tullio Vardanega,
Francisco J. Cazorla,
2015,
10th IEEE International Symposium on Industrial Embedded Systems (SIES).
Zoe Porter,
I. Habli,
Phillip Morgan,
2023,
ArXiv.
Tim Kelly,
Philippa Conmy,
Katrina Attwood,
2014
.
Richard F. Paige,
Philippa Conmy,
R. Paige,
2007,
Workshop on Model-based Methodologies for Pervasive and Embedded Software.
Zoe Porter,
I. Habli,
R. Calinescu,
2024,
Computer.