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
Publikation: Teil einer Monographie/eines Konferenzbandes
Formalizing TLM with communicating state machines
Grunddaten
Autoren
Einrichtung
Grunddaten
Titel
Formalizing TLM with communicating state machines
Veröffentlicht in
Advances in design and specification languages for embedded systems : selected constributions from FDL '06 ; [selected papers presented at the Forum on Specification and Design Languages, FDL '06, which took place in September 2006 at Technische Universität Darmstadt, Germany]. - Dordrecht : Springer
Erscheinungsjahr
2007
Seiten (von – bis)
225 – 242
Jahr
2007
Publikationsform
Druckschrift
Publikationsart
Teil einer Monographie/eines Konferenzbandes
Sprache
Englisch
Letzte Änderung
16.05.2019 20:28:42
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/42261
Links zu Katalogen
Autoren
Niemann, Bernhard
Haubelt, Christian
Oyanguren, Maite
Teich, Jürgen
Einrichtung
IEF/Institut für Angewandte Mikroelektronik und Datentechnik (IMD)