
Departmental Papers (CIS)
Date of this Version
12-2012
Document Type
Journal Article
Recommended Citation
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
Subject Area
CPS Formal Methods
Publication Source
Formal Methods in System Design
Volume
41
Issue
3
Start Page
233
Last Page
235
DOI
10.1007/s10703-012-0174-0
Copyright/Permission Statement
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.