The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION

K. Mori, I. Yen and R. Paul, "Toward Integrated Methods for High-Assurance Systems," in Computer, vol. 31, no. , pp. 32-34, 1998.
doi:10.1109/2.666840
82 ms
(Ver 3.3 (11022016))