Deterministic High-Level Executable Models Allowing Efficient Runtime Verification.
Vladimir Estivill-Castro, Ren Hexel
VenueCMODELSWARD
Year2017
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/Estivill-Castro17a ↗
Browse the full MODELSWARD paper archive.