Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
Hilfe
Sitemap
Impressum
Datenschutz
node1
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikationen suchen
Aktiv:
Publikation
Autoren
Einrichtungen
Abstract
Externe Dokumente
Links
Formalizing transaction level modeling with communicating state machines ( Teil einer Monographie/eines Konferenzbandes )
Details ansehen
Hinweis
Diese Publikation wurde von der Universitätsbibliothek verifiziert. Sie kann nur noch teilweise bearbeitet werden.
Bearbeiten
*
Titel
Formalizing transaction level modeling with communicating state machines
Untertitel
Sprache
*
Erscheinungsjahr
*
Veröffentlicht in
FDL '06, Ninth International Forum on Specification and Design Languages, Darmstadt University, Germany, September 19 - 22, 2006 : an ECSI event. Co-sponsored by Technical University Darmstadt .... - Gieres : ECSI
von Seite
bis Seite
Seitenzahl
*
Verlag
Verlagsort
Band
Institution
Heft-Nr.
Monat
Serie
Auflage
*
Publikationsform
Publikationsart
ISBN
DOI
Änderungsdatum
*
Peer reviewed