Formalizing TLM with Communicating State Machines

Beitrag in einem Sammelwerk


Details zur Publikation

Autorinnen und Autoren: Niemann B, Haubelt C, Uribe M, Teich J
Herausgeber: Sorin A. Huss
Titel Sammelwerk: Advances in Design and Specification Languages for Embedded Systems
Verlag: Springer
Jahr der Veröffentlichung: 2007
Seitenbereich: 225-242


FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

Haubelt, Christian Prof. Dr.-Ing.
Technische Fakultät
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Einrichtungen weiterer Autorinnen und Autoren

Fraunhofer-Institut für Integrierte Schaltungen (IIS)


Zitierweisen

APA:
Niemann, B., Haubelt, C., Uribe, M., & Teich, J. (2007). Formalizing TLM with Communicating State Machines. In Sorin A. Huss (Eds.), Advances in Design and Specification Languages for Embedded Systems. (pp. 225-242). Springer.

MLA:
Niemann, Bernardt, et al. "Formalizing TLM with Communicating State Machines." Advances in Design and Specification Languages for Embedded Systems. Ed. Sorin A. Huss, Springer, 2007. 225-242.

BibTeX: 

Zuletzt aktualisiert 2019-23-07 um 07:34