@inproceedings{43b50123650d4391afd020686dbc1e57,
title = "High-assurance distributed, adaptive software for dynamic systems",
author = "Kurt Rohloff and Joseph Loyall and Partha Pal and Richard Schantz",
year = "2007",
doi = "10.1109/HASE.2007.42",
language = "English (US)",
isbn = "0769530435",
series = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",
pages = "385--386",
booktitle = "Proceedings - 10th IEEE International Symposium on High Assurance Systems Engineering, HASE 2007",
note = "10th IEEE International Symposium on High Assurance Systems Engineering, HASE 2007 ; Conference date: 14-11-2007 Through 16-11-2007",
}