Login / Signup
Runtime Verification of Parametric Properties Using SMEDL.
Teng Zhang
Ramneet Kaur
Insup Lee
Oleg Sokolsky
Published in:
From Reactive Systems to Cyber-Physical Systems (2019)
Keyphrases
</>
data model
desirable properties
database systems
feature extraction
digital libraries
digital images
structural properties
formal analysis