Date of this Version
Oleg Sokolsky and Grigore Roşu, "Introduction to the Special Issue on Runtime Verification", Formal Methods in System Design 41(3), 233-235. December 2012. http://dx.doi.org/10.1007/s10703-012-0174-0
CPS Formal Methods
Formal Methods in System Design
The final publication is available at Springer via http://dx.doi.org/10.1007/s10703-012-0174-0
Date Posted: 03 January 2013
This document has been peer reviewed.