Formalizing TLM with Communicating State Machines

Niemann B, Haubelt C, Uribe M, Teich J (2007)

Publication Type: Book chapter / Article in edited volumes

Publication year: 2007

Publisher: Springer

Edited Volumes: Advances in Design and Specification Languages for Embedded Systems

Pages Range: 225-242

Authors with CRIS profile

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

Involved external institutions

Fraunhofer-Institut für Integrierte Schaltungen (IIS) DE Germany (DE)

How to cite

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: Download