Publikation: Teil einer Monographie/eines Konferenzbandes

Formalizing TLM with communicating state machines

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