Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formalizing TLM with communicating state machines

 
: Niemann, B.; Haubelt, C.; Uribe, M.; Teich, J.

:

Huss, S.A.:
Advances in design and specification languages for embedded systems : Selected constributions from FDL'06. Selected papers presented at the Forum on Specifications and Design Languages, FDL'06, which took place in September 2006 at Technische Universität Darmstadt, Germany
Berlin: Springer, 2007 (Chip design languages series)
ISBN: 1-4020-6147-1
ISBN: 978-1-4020-6147-9
ISBN: 978-1-4020-6149-3
S.225-242
Forum on Specification & Design Languages (FDL) <9, 2006, Darmstadt>
Englisch
Konferenzbeitrag
Fraunhofer IIS ()

: http://publica.fraunhofer.de/dokumente/N-73126.html