Efficient model-checking for real-time task networks

Dierks, Henning; Metzner, Alexander; Stierand, Ingo

doi:10.1109/ICESS.2009.26

DC Element	Wert	Sprache
dc.contributor.author	Dierks, Henning	-
dc.contributor.author	Metzner, Alexander	-
dc.contributor.author	Stierand, Ingo	-
dc.date.accessioned	2022-08-15T12:57:01Z	-
dc.date.available	2022-08-15T12:57:01Z	-
dc.date.issued	2009	-
dc.identifier.isbn	978-0-7695-3678-1	en_US
dc.identifier.isbn	978-1-4244-4359-8	en_US
dc.identifier.uri	http://hdl.handle.net/20.500.12738/13251	-
dc.language.iso	en	en_US
dc.publisher	IEEE	en_US
dc.subject.ddc	600: Technik	en_US
dc.title	Efficient model-checking for real-time task networks	en
dc.type	inProceedings	en_US
dc.relation.conference	International Conference on Embedded Software and Systems 2009	en_US
local.contributorCorporate.other	Institute of Electrical and Electronics Engineers	-
tuhh.container.endpage	18	en_US
tuhh.container.startpage	11	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.publisher.doi	10.1109/ICESS.2009.26	-
tuhh.relation.ispartofseries	2009 6th International Conference on Embedded Software and Systems (ICESS) : Hangzhou, China, 25 - 27 May 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.openairetype	inProceedings	-
item.languageiso639-1	en	-
item.creatorGND	Dierks, Henning	-
item.creatorGND	Metzner, Alexander	-
item.creatorGND	Stierand, Ingo	-
item.creatorOrcid	Dierks, Henning	-
item.creatorOrcid	Metzner, Alexander	-
item.creatorOrcid	Stierand, Ingo	-
item.cerifentitytype	Publications	-
item.openairecristype	http://purl.org/coar/resource_type/c_5794	-
item.tuhhseriesid	2009 6th International Conference on Embedded Software and Systems (ICESS) : Hangzhou, China, 25 - 27 May 2009	-
item.grantfulltext	none	-
item.fulltext	No Fulltext	-
item.seriesref	2009 6th International Conference on Embedded Software and Systems (ICESS) : Hangzhou, China, 25 - 27 May 2009	-
crisitem.author.dept	Department Informations- und Elektrotechnik (ehemalig, aufgelöst 10.2025)	-
crisitem.author.parentorg	Fakultät Technik und Informatik (ehemalig, aufgelöst 10.2025)	-
Enthalten in den Sammlungen:	Publications without full text