Automatic Synthesis of SystemC-Code from Formal Specifications

Carsten Rust, Achim Rettberg. Automatic Synthesis of SystemC-Code from Formal Specifications. In Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg, editors, Design Methods and Applications for Distributed Embedded Systems, IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France. pages 187-196, Kluwer, 2004.

Abstract

Abstract is missing.