Heather Goldsby, Betty H. C. Cheng, Sascha Konrad, Stephane Kamdoum. A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems. In Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio, editors, Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Volume 4199 of Lecture Notes in Computer Science, pages 707-721, Springer, 2006. [doi]
@inproceedings{GoldsbyCKK06,
title = {A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems},
author = {Heather Goldsby and Betty H. C. Cheng and Sascha Konrad and Stephane Kamdoum},
year = {2006},
doi = {10.1007/11880240_49},
url = {http://dx.doi.org/10.1007/11880240_49},
tags = {modeling, analysis, C++},
researchr = {https://researchr.org/publication/GoldsbyCKK06},
cites = {0},
citedby = {0},
pages = {707-721},
booktitle = {Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
editor = {Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio},
volume = {4199},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-45772-0},
}