| Publisher DOI: | 10.1109/ICESS.2009.26 | Title: | Efficient model-checking for real-time task networks | Language: | English | Authors: | Dierks, Henning Metzner, Alexander Stierand, Ingo |
metadata.local.contributorCorporate.other: | Institute of Electrical and Electronics Engineers | Issue Date: | 2009 | Publisher: | IEEE | Part of Series: | 2009 6th International Conference on Embedded Software and Systems (ICESS) : Hangzhou, China, 25 - 27 May 2009 | Startpage: | 11 | Endpage: | 18 | Conference: | 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 |
Institute: | Carl von Ossietzky Universität Oldenburg. Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme | Type: | Chapter/Article (Proceedings) |
| Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.