Online stability validation using sector analysis

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.