| Verlagslink DOI: | 10.1109/ICESS.2009.26 | Titel: | Efficient model-checking for real-time task networks | Sprache: | Englisch | Autorenschaft: | Dierks, Henning Metzner, Alexander Stierand, Ingo |
Weitere beteiligte Einrichtungen: | Institute of Electrical and Electronics Engineers | Erscheinungsdatum: | 2009 | Verlag: | IEEE | Teil der Schriftenreihe: | 2009 6th International Conference on Embedded Software and Systems (ICESS) : Hangzhou, China, 25 - 27 May 2009 | Anfangsseite: | 11 | Endseite: | 18 | Konferenz: | International Conference on Embedded Software and Systems 2009 | URI: | http://hdl.handle.net/20.500.12738/13251 | ISBN: | 978-0-7695-3678-1 978-1-4244-4359-8 |
Einrichtung: | Carl von Ossietzky Universität Oldenburg. Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme | Dokumenttyp: | Konferenzveröffentlichung |
| Enthalten in den Sammlungen: | Publications without full text |
Zur Langanzeige
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.