Volcano: Enabling Correctness by Design

Antal Rajnak. Volcano: Enabling Correctness by Design. In Richard Zurawski, editor, Networked Embedded Systems - Volume 2 of the Embedded Systems Handbook. pages 19, CRC Press, 2009. [doi]

Abstract

Abstract is missing.