J. D. Powell
发表
V. K. Jones,
Gene F. Franklin,
J. D. Powell,
1995,
Proceedings of 1995 American Control Conference - ACC'95.
J. D. Powell,
J. Powell,
1987
.
Security system property decomposition for model checking with the flexible modeling framework (FMF)
J. D. Powell,
2002
.
J. D. Powell,
W. L. Holforty,
2001,
20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).