Light-weight hybrid model checking facilitating online prediction of temporal properties

Sauter, Gerald; Dierks, Henning; Fränzle, Martin; Hansen, Michael R.

Title:	Light-weight hybrid model checking facilitating online prediction of temporal properties
Language:	English
Authors:	Sauter, Gerald Dierks, Henning Fränzle, Martin Hansen, Michael R.
Editor:	Reichhardt Hansen, Michael Wiid Brekling, Aske
Issue Date:	2009
Publisher:	Technical University of Denmark, DTU Informatics
Part of Series:	Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT'09, Lyngby, Denmark, 14-16 October 2009
Startpage:	20
Endpage:	22
Conference:	Nordic Workshop on Programming Theory 2009
URI:	http://hdl.handle.net/20.500.12738/3182
ISBN:	978-87-643-0565-4
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