Decomposable and Executable Models for Verification of Real-Time Systems.
Callum McColl, Vladimir Estivill-Castro, Morgan McColl, Ren Hexel
VenueCMODELSWARD
Year2022
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/McCollEMH22a ↗
Browse the full MODELSWARD paper archive.