1 |
Christos G. Cassandras and Stephane Lafortune, Introdunction to Descrete Event Systems. 2nd edition, Springer, New York, pp.62-133.
|
2 |
Electrical Engineering and Computer Science, https:// www.eecs.umich.edu/umdes/projects/lib/download_access/s ubmit_desuma.html
|
3 |
DESUMA Software, http://www.eecs.umich.edu/umdes/ toolboxes.html
|
4 |
The Mathworks, http://www.mathworks.com/help/ toolbox/simulink/ slref/f23-7515.html
|
5 |
The Mathworks, MATLAB(R) 7 External Interfaces, pp.323-452, 2010
|
6 |
The Mathworks, http://www.mathworks.com/help/ toolbox/simulink/ ug/f11-61851.html
|
7 |
The Mathworks, http://www.mathworks.com/products/simulink/
|
8 |
송문빈, 송태훈, 오재곤, 정연모, "효율적인 통합 시뮬레이션에 의한 스피커 연결 시스템의 SoC 설계," 전자공학회논문지, 제 43권 SD편, 제10호, pp.671-676, 2006.
|
9 |
BTS Technologies inc., http://www.btstech.co.kr/
|
10 |
서희석, 정인상, 김병만, 권용래, "Java 다중 스레드 프로그램을 위한 오토마타 기반 테스팅 환경의 설계 및 구현," 정보과학회논문지, 소프트웨어 및 응용 제 29권, 제 11.12호, pp.883-894, 2002.
|