B. Dutertre
发表
V. Stavridou,
B. Dutertre,
B. Dutertre,
2000,
19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).
B. Dutertre,
V. Stavridou,
R.A. Riemenschneider,
2001,
Proceedings DARPA Information Survivability Conference and Exposition II. DISCEX'01.
V. Stavridou,
B. Dutertre,
B. Dutertre,
1999,
Dependable Computing for Critical Applications 7.
Shaoying Liu,
Victoria Stavridou,
B. Dutertre,
1994,
Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.
A. Benveniste,
P. Le Guernic,
B. Dutertre,
1993
.
B. Hall,
B. Dutertre,
W. Steiner,
2012,
2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).