Author:
Hardt W.,Altenbernd P.,Böke C.,Castillo G.,Ditze C.,Erpenbach E.,Glässer U.,Kleinjohann B.,Lehrenfeld G.,Rammig F. J.,Rust C.,Stappert F.,Stroop J.,Tacken J.
Reference5 articles.
1. C. Ditze. Constructing a customizable library to support software synthesis for embedded applications and micro-kernel operating systems. In Proc. of the 8. ACM SIGOPS European Workshop, Sintra, Portugal, September 1998.
2. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. Börger, Editor, Specification and Validation Methods. Oxford University Press, 1995.
3. W. Hardt, W. Rosenstiel. Prototyping of Tightly Coupled Hardware/SoftwareSystems. Design Automation for Embedded Systems, vol. 2, no. 1 (1997).
4. B. Kleinjohann, E. Kleinjohann, J. Tacken. “The SEA Language for System Engineering and Animation”, In Applications and Theory of Petri Nets,LNCS 1091, Springer Verlag, 1996.
5. Franz J. Rammig. Systematischer Entwurf digitaler Systeme. B. G. Teubner, Stuttgart, 1989.