EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems
暂无分享,去创建一个
[1] Dieter Hogrefe,et al. SDL - with applications from protocol specification , 1991, BCS practitioner series.
[2] Kenneth J. Turner,et al. Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL , 1993 .
[3] A. Wayne Wymore,et al. Model-based systems engineering , 1993 .
[4] D. Schefström,et al. Tool integration: environments and frameworks , 1993 .
[5] Wolfgang Glunz,et al. Using VHDL for simulation of SDL specifications , 1992, Proceedings EURO-DAC '92: European Design Automation Conference.
[6] C. Schaffer,et al. Modular, hierarchical modeling concepts for support of heterogeneous systems design , 1995, Proceedings of the 1995 International Symposium and Workshop on Systems Engineering of Computer-Based Systems.
[7] Derek J. Hatley,et al. Strategies for Real-Time System Specification , 1987 .
[8] Herbert Prähofer,et al. On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation , 1993, EUROCAST.
[9] Katie Tarnay. Protocol Specification and Testing , 1991 .