Tim Kelly
发表
Mario Gleirscher,
Yakoub Nemouchi,
Simon Foster,
2019,
IFM.
Yiannis Papadopoulos,
Paulo César Masiero,
David Parker,
2019,
J. Softw. Evol. Process..
Tim Kelly,
2017
.
Tim Kelly,
Nikita Johnson,
T. Kelly,
2019,
SAFECOMP.
Eric Armengaud,
Yiannis Papadopoulos,
Ran Wei,
2020,
SAFECOMP.
Ibrahim Habli,
Tim Kelly,
I. Habli,
2009,
SafeCert@ETAPS.
Tim Kelly,
Martin Hall-May,
M. Hall-May,
2006,
SAFECOMP.
Mario Gleirscher,
Yakoub Nemouchi,
Ran Wei,
2020,
ArXiv.
Larry Press,
Seymour E. Goodman,
Tim Kelly,
2000
.
Alejandra Ruiz,
Jose Luis de la Vara,
Rajwinder Kaur Panesar-Walawege,
2016,
Inf. Softw. Technol..
Rob Alexander,
Tim Kelly,
Martin Hall-May,
2004
.
Tim Kelly,
Nikita Johnson,
2019,
SAFECOMP Workshops.
George Miley,
Frank Bartko,
Tom Broadhurst,
1996,
Optics & Photonics.
Tim Kelly,
Nikita Johnson,
2018
.
Tim Kelly,
Martin Hall-May,
M. Hall-May,
2006,
ReMo2V.
Tim Kelly,
Martin Hall-May,
2005,
SAFECOMP.
Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria
pdf
Tim Kelly,
Nikita Johnson,
Youcef Gheraibia,
2020,
ArXiv.
Ibrahim Habli,
Tim Kelly,
Roger Rivett,
2015
.