A. Wellings
发表
A. Wellings,
D. Powell,
1996
.
P. Cornwell,
A. Wellings,
1996,
Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076).