David Powell
发表
Andy J. Wellings,
Jean Arlat,
Andrea Bondavalli,
1997,
IEEE Trans. Parallel Distributed Syst..
Pascale Thévenod-Fosse,
David Powell,
2002
.
David Powell,
1996
.
Jérémie Guiochet,
Damien Martin-Guillerez,
David Powell,
2010,
2010 IEEE 12th International Symposium on High Assurance Systems Engineering.
Andrea Bondavalli,
Paolo Lollini,
Máté Kovács,
2007
.
Marc Dacier,
Klaus Kursawe,
Andreas Wespi,
2002
.
Per Enge,
Todd Walter,
Yeou-Jyh Tsai,
1995
.
Elizabeth McNeer,
Elizabeth A. Stuart,
Beth Ann Griffin,
2020
.
Marion Oswald,
David Powell,
2020,
FAT*.
Jérémie Guiochet,
Christophe Zanon,
Damien Martin-Guillerez,
2010,
SERENE.
Leyuan Shi,
Tei-Wei Kuo,
Shie-Kai Ni,
1996
.
Eads Astrium,
Jean-Paul Blanquart,
Étienne Baudin,
2008
.
Marc Dacier,
Birgit Pfitzmann,
John E. Dobson,
2000
.
Matthieu Roy,
Jérémie Guiochet,
Jean-Paul Blanquart,
2012,
2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing.
Andy J. Wellings,
Ljerka Beus-Dukic,
David Powell,
1998,
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
Birgit Pfitzmann,
John E. Dobson,
Paulo Veríssimo,
2000
.
Jean-Paul Blanquart,
Eric Totel,
Yves Deswarte,
1998
.
Marc Dacier,
Birgit Pfitzmann,
John E. Dobson,
2000
.
David Powell,
David Powell,
1993
.