1 |
철도용품 규격, '철도 6330-3328: 열차집중제어장치와 전자연동장치간 정보전송방식(Protocol)', 철도청, 2002
|
2 |
NF F72-010(Norm de French), 'Procedure for Transmission of Bi-directional Serial Asynchronous Point-to-point: French Railway Protocol', SNCF, French, 1991
|
3 |
D. Kozen, 'Results on the Propositional Mu-calculus, Theoretical Computer Science', 27:333-354, 1983
DOI
ScienceOn
|
4 |
황종규, 이재호, '전자연동장치와 역정보전송장치간 인터페이스를 위한 데이터링크 프로토콜 성능해석', 한국철도학회 논문지, 제6권 제2호, pp.135-141, 6. 2003
|
5 |
R. Cleaveland, 'Tableau-Based Model-checking in the Propositional Mu calculus', Acta Informatica 27:725-727, 1990
|
6 |
D. Schwabe, 'Formal Techniques for the Specification and Verification of Protocol', Ph.D Thesis, Univ. of California LosAngeles, Apr., 1981
|
7 |
G7 고속전철기술개발사업 연구보고서, '전기신호시스템 엔지니어링 기술개발', 한국철도기술연구원, 1999. 10
|
8 |
E. M. Clarke, E. A. Emerson and A. P. Sistla, 'Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications', ACM TOPLAS 8(2), 1986
|