Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits. Online stability validation using sector analysis. In Luca P. Carloni, Stavros Tripakis, editors, Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010. pages 29-38, ACM, 2010. [doi]
@inproceedings{PorterHKKS10,
title = {Online stability validation using sector analysis},
author = {Joseph Porter and Graham Hemingway and Nicholas Kottenstette and Gabor Karsai and Janos Sztipanovits},
year = {2010},
doi = {10.1145/1879021.1879026},
url = {http://doi.acm.org/10.1145/1879021.1879026},
tags = {analysis},
researchr = {https://researchr.org/publication/PorterHKKS10},
cites = {0},
citedby = {0},
pages = {29-38},
booktitle = {Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
editor = {Luca P. Carloni and Stavros Tripakis},
publisher = {ACM},
isbn = {978-1-60558-904-6},
}