Andrew J. Kornecki, Kimberley Hall, Darryl Hearn, Herman Lau, Janusz Zalewski, "Evaluation of Software Development Tools for High Assurance Safety Critical Systems," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 273-274, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004.

@article{ 10.1109/HASE.2004.1281755,
author = {Andrew J. Kornecki and Kimberley Hall and Darryl Hearn and Herman Lau and Janusz Zalewski},
title = {Evaluation of Software Development Tools for High Assurance Safety Critical Systems},
journal ={High-Assurance Systems Engineering, IEEE International Symposium on},
volume = {0},
year = {2004},
issn = {1530-2059},
pages = {273-274},
doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281755},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - High-Assurance Systems Engineering, IEEE International Symposium on
TI - Evaluation of Software Development Tools for High Assurance Safety Critical Systems
SN - 1530-2059
SP273
EP274
A1 - Andrew J. Kornecki,
A1 - Kimberley Hall,
A1 - Darryl Hearn,
A1 - Herman Lau,
A1 - Janusz Zalewski,
PY - 2004
KW - null
VL - 0
JA - High-Assurance Systems Engineering, IEEE International Symposium on
ER -