The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION
Kinji Mori, I-Ling Yen, Raymond Paul, "Toward Integrated Methods for High-Assurance Systems", Computer, vol. 31, no. , pp. 32-34, April 1998, doi:10.1109/2.666840
93 ms
(Ver )