Publikation
Titel
Efficient Model-Checking for Real-Time Task Networks
Publikationsart
Tagungsbeitrag
Alle Autoren
Dierks, H., Metzner, A., Stierand, I.
Sprache
englisch
Erscheinungsdatum
2009
Titel der Konferenz
6th International Conference on Embedded Software and Systems (ICESS'09)