Logo des Repositoriums
 

DAWN for component based systems – just a different perspective

dc.contributor.authorKindler, Ekkart
dc.contributor.editorDesel, Jörg
dc.contributor.editorWeske, Mathias
dc.date.accessioned2019-11-14T12:47:26Z
dc.date.available2019-11-14T12:47:26Z
dc.date.issued2002
dc.description.abstractDAWN 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.isbn3-88579-350-4
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/30157
dc.language.isoeb
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofPromise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-21
dc.titleDAWN for component based systems – just a different perspectiveeb
dc.typeText/Conference Paper
gi.citation.endPage13
gi.citation.publisherPlaceBonn
gi.citation.startPage7
gi.conference.date9.-11. Oktober 2002
gi.conference.locationPotsdam
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
GI-Proceedings.21-1.pdf
Größe:
98.88 KB
Format:
Adobe Portable Document Format