共 3 条
- [1] Study on Model Generation in Embedded Software Simulation Testing Platform. Cui Xiaole. . 2004
- [2] A Formal Approach to Software Architecture. Allen R J. . 1997
- [3] A Brief History of Timed CSP. Davies J,Schneider S. Theoretical Computer Science . 1995