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 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language
Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

Publikation: Teil einer Monographie/eines Konferenzbandes

Formalizing transaction level modeling with communicating state machines

Grunddaten

Titel Formalizing transaction level modeling with communicating state machines
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
Erscheinungsjahr 2006
Jahr 2006
Publikationsform Druckschrift
Publikationsart Teil einer Monographie/eines Konferenzbandes
Sprache Englisch
Letzte Änderung 16.05.2019 20:35:35
Bearbeitungsstatus durch UB Rostock abschließend validiert
Dauerhafte URL http://purl.uni-rostock.de/fodb/pub/42381
Links zu Katalogen Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

Autoren

Niemann, Bernhard
Haubelt, Christian Link zur UB Rostock Link zum GBV-Katalog

Einrichtung

IEF/Institut für Angewandte Mikroelektronik und Datentechnik (IMD)