Efficient Model-Checking for Real-Time Task Networks

BIB
Dierks, H., Metzner, A., Stierand, I.
05 / 2009
inproceedings
COMBEST
Komponentenbasierte Entwurfsmethoden für eingebettete Systeme