DAWN for component based systems – just a different perspective

dc.contributor.author	Kindler, Ekkart
dc.contributor.editor	Desel, Jörg
dc.contributor.editor	Weske, Mathias
dc.date.accessioned	2019-11-14T12:47:26Z
dc.date.available	2019-11-14T12:47:26Z
dc.date.issued	2002
dc.description.abstract	DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that allows us to use it for verifying component bases systems by modelling components and their interaction independently of each other.	eb
dc.identifier.isbn	3-88579-350-4
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/30157
dc.language.iso	eb
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-21
dc.title	DAWN for component based systems – just a different perspective	eb
dc.type	Text/Conference Paper
gi.citation.endPage	13
gi.citation.publisherPlace	Bonn
gi.citation.startPage	7
gi.conference.date	9.-11. Oktober 2002
gi.conference.location	Potsdam
gi.conference.sessiontitle	Regular Research Papers

Dateien

1 - 1 von 1