Design Environment for Parallel & Distributed, Embedded Real-Time Systems
暂无分享,去创建一个
Bernd Kleinjohann | F. Stappert | Uwe Glässer | G. Lehrenfeld | Peter Altenbernd | Carsten Rust | Carsten Böke | Jürgen Tacken | C. Ditze | G. Del Castillo | J. Stroop
[1] Franz J. Rammig. Systematischer Entwurf digitaler Systeme , 1989 .
[2] Carsten Ditze. A customizable library to support software synthesis for embedded applications and micro-kernel systems , 1998, EW 8.
[3] Yuri Gurevich,et al. Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.
[4] Wolfgang Rosenstiel,et al. Prototyping of Tightly Coupled Hardware/Software-Systems , 1997, Des. Autom. Embed. Syst..
[5] Bernd Kleinjohann,et al. The SEA Language for System Engineering and Animation , 1996, Application and Theory of Petri Nets.