This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Toward Integrated Methods for High-Assurance Systems
April 1998 (vol. 31 no. 4)
pp. 32-34
ASCII Text
x 
 
I-Ling Yen, Raymond Paul, Kinji Mori, "Toward Integrated Methods for High-Assurance Systems," Computer, vol. 31, no. 4, pp. 32-34, April, 1998.
 
 
BibTex
x
 
@article{ 10.1109/2.666840,
author = {I-Ling Yen and Raymond Paul and Kinji Mori},
title = {Toward Integrated Methods for High-Assurance Systems},
journal ={Computer},
volume = {31},
number = {4},
issn = {0018-9162},
year = {1998},
pages = {32-34},
doi = {http://doi.ieeecomputersociety.org/10.1109/2.666840},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - Computer
TI - Toward Integrated Methods for High-Assurance Systems
IS - 4
SN - 0018-9162
SP32
EP34
EPD - 32-34
A1 - I-Ling Yen,
A1 - Raymond Paul,
A1 - Kinji Mori,
PY - 1998
VL - 31
JA - Computer
ER -
 
Citation:
I-Ling Yen, Raymond Paul, Kinji Mori, "Toward Integrated Methods for High-Assurance Systems," Computer, vol. 31, no. 4, pp. 32-34, April 1998, doi:10.1109/2.666840
Usage of this product signifies your acceptance of the Terms of Use.