1 |
'IEC 62280-1 : Safety-related communication in closed transmission systems', 2002
|
2 |
D. Schwabe, 'Formal Techniques for the Specification and Verification of Protocols', Report No. CSD-810401, UCLA, (PhD Thesis), April 1981
|
3 |
R. Cleaveland, 'Tableau-Based Model-checking in the Propositional Mu-calculus', Acta Informatica, vol.27, No.3, pp.725-727, 1990
|
4 |
황종규, 이재호, '전자연동장치와 역정보전송장치간 인터페이스를 위한 데이터링크 프로토콜 성능해석', 한국철도학회논문지, 제 6권 제 2호, pp.135-141, 2003.06
|
5 |
황종규, 조현정, 이재호, '열차제어시스템과 SCADA 장치간 네트워크 기반 데이터 전송 프로토콜의 성능분석', 대한전기학회 논문지, Vol. 55B, no. 9, pp.485-490, 2006. 9
과학기술학회마을
|
6 |
B. Sarikaya, 'Principles of Protocol Engineering and Conformance Testing', Ellis Horwood, New York, NY, 1993
|
7 |
'IEC 62280-2 : Safety-related communication in open transmission systems', 2002
|
8 |
J. G. Hwang, H. J. Jo and J. H. Lee, 'Development .of Communication Protocol Verification Tool for Vital Railway Signalling Systems', Journal of Electrical Engineering & Technology, vol. 1, no. 4, pp.513-519, Dec. 2006
과학기술학회마을
DOI
|