참고문헌
- In Proceedings of Real-Time Systems Symposium A Graphical Language with Formal Sematics for the Specification and Analysis of Real-Time Systems H. Ben-Abdallah;I. Lee;J.-Y. Choi
- in Logic and Models of Concurrent Systems On the Development of Reactive Systems D. Harel;A. Pnueli
- in Documentation for the STATEMEATE System The Languages of STATEMATE i-Logic Inc.
- IEEE Transactions on Software Engineering Modechart : A Specification Langauage for Real-tiem Systems F. Jahanian;A. K. Mok
- New Electronics The advantage of MODEL BEHAVIOUR Robert H. Klein
- IEEE Micro. Virtual Prototyping of Embedded MicroControlled-Based DSP Systems V. K. Madisetti;T. W. Egolf
- In Proceedings of the 1997 Symposium on Software Reusability(SSR' 97)) Open Implementation Analysis and Design C. Maeda;H. W. Lee;G. Murphy;G. Kiczales
- IFIP word computer congress Virtual Prototyping based development and marketing of future consumer electronics produsts P. S. Pulli;M.L. Salmela;J. K. Simila
- 하드웨어 설계를 위한 VHDL 기초와 응용 이대영;조원경;정연모;오재곤