| Titel: | Light-weight hybrid model checking facilitating online prediction of temporal properties | Sprache: | Englisch | Autorenschaft: | Sauter, Gerald Dierks, Henning Fränzle, Martin Hansen, Michael R. |
Herausgeber*In: | Reichhardt Hansen, Michael Wiid Brekling, Aske |
Erscheinungsdatum: | 2009 | Verlag: | Technical University of Denmark, DTU Informatics | Teil der Schriftenreihe: | Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT'09, Lyngby, Denmark, 14-16 October 2009 | Anfangsseite: | 20 | Endseite: | 22 | Konferenz: | Nordic Workshop on Programming Theory 2009 | URI: | http://hdl.handle.net/20.500.12738/3182 | ISBN: | 978-87-643-0565-4 | 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.