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

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

DC Element	Wert	Sprache
dc.contributor.author	Sauter, Gerald	-
dc.contributor.author	Dierks, Henning	-
dc.contributor.author	Fränzle, Martin	-
dc.contributor.author	Hansen, Michael R.	-
dc.date.accessioned	2020-08-26T12:16:11Z	-
dc.date.available	2020-08-26T12:16:11Z	-
dc.date.issued	2009	-
dc.identifier.isbn	978-87-643-0565-4	en_US
dc.identifier.uri	http://hdl.handle.net/20.500.12738/3182	-
dc.language.iso	en	en_US
dc.publisher	Technical University of Denmark, DTU Informatics	en_US
dc.relation.ispartofseries	Proceedings of the 21st Nordic Workshop on Programming Theory
dc.subject.ddc	600: Technik	en_US
dc.title	Light-weight hybrid model checking facilitating online prediction of temporal properties	en
dc.type	inProceedings	en_US
dc.relation.conference	Nordic Workshop on Programming Theory 2009	en_US
local.contributorPerson.editor	Reichhardt Hansen, Michael	-
local.contributorPerson.editor	Wiid Brekling, Aske	-
tuhh.container.endpage	22	en_US
tuhh.container.startpage	20	en_US
tuhh.oai.show	true	en_US
tuhh.publication.institute	Carl von Ossietzky Universität Oldenburg. Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme	en_US
tuhh.relation.ispartofseries	Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT'09, Lyngby, Denmark, 14-16 October 2009	en_US
tuhh.type.opus	InProceedings (Aufsatz / Paper einer Konferenz etc.)	-
dc.type.casrai	Conference Paper	-
dc.type.dini	contributionToPeriodical	-
dc.type.driver	contributionToPeriodical	-
dc.type.status	info:eu-repo/semantics/publishedVersion	en_US
dcterms.DCMIType	Text	-
item.creatorGND	Sauter, Gerald	-
item.creatorGND	Dierks, Henning	-
item.creatorGND	Fränzle, Martin	-
item.creatorGND	Hansen, Michael R.	-
item.fulltext	No Fulltext	-
item.creatorOrcid	Sauter, Gerald	-
item.creatorOrcid	Dierks, Henning	-
item.creatorOrcid	Fränzle, Martin	-
item.creatorOrcid	Hansen, Michael R.	-
item.seriesref	Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT'09, Lyngby, Denmark, 14-16 October 2009	-
item.grantfulltext	none	-
item.cerifentitytype	Publications	-
item.tuhhseriesid	Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT'09, Lyngby, Denmark, 14-16 October 2009	-
item.languageiso639-1	en	-
item.openairecristype	http://purl.org/coar/resource_type/c_5794	-
item.openairetype	inProceedings	-
crisitem.author.dept	Department Informations- und Elektrotechnik	-
crisitem.author.parentorg	Fakultät Technik und Informatik	-
Enthalten in den Sammlungen:	Publications without full text