K. Driscoll
发表
B. Hall,
K. Driscoll,
K. Schweiker,
2012
.
Philip Koopman,
Michael Paulitsch,
Jennifer Morris,
2005,
2005 International Conference on Dependable Systems and Networks (DSN'05).
Michael Paulitsch,
Brendan Hall,
Håkan Sivencrona,
2007
.
Philip Koopman,
Brendan Hall,
Kevin R. Driscoll,
2015
.
Michael Paulitsch,
Kevin Driscoll,
Samar Dajani-Brown,
2005,
2005 International Conference on Dependable Systems and Networks (DSN'05).
Håkan Sivencrona,
P. Zumsteg,
B. Hall,
2003,
SAFECOMP.
Devesh Bhatt,
John Rushby,
Brendan Hall,
2018
.
B. Hall,
K. Driscoll,
P. Zumsteg,
2004,
The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).
Brendan Hall,
Kevin R. Driscoll,
Kevin Schweiker,
2013
.
Kevin Driscoll,
Ken Hoyme,
K. Hoyme,
1992,
[1992] Proceedings Real-Time Systems Symposium.