Runtime Enforcement of Timed Properties Revisited
Formal Methods in System Design - Netherlands
doi 10.1007/s10703-014-0215-y
Full Text
Open PDFAbstract
Available in full text
Date
October 28, 2014
Authors
Publisher
Springer Science and Business Media LLC