Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.
Uli Fahrenberg, Kim G. Larsen, Axel Legay
VenueCICTAC
Year2013
ProceedingsICTAC Training School on Software Engineering
DBLP recordconf/ictac/FahrenbergLL13 ↗
Browse the full ICTAC paper archive.