A Model-Based Combination Language for Scheduling Verification.
Hui Zhao, Ludovic Apvrille, Frdric Mallet
VenueCMODELSWARD
Year2019
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/ZhaoAM19a ↗
Browse the full MODELSWARD paper archive.