상세 보기
- 제목
- Formal verification of protocol specified in LTS for railway singalling systems
- 저자
- PARK, GWI TAE
- 학회명
- 9th International Conference on Computer Aided Design, Manufacture and Operation in the Railway and Other Advanced Transit Systems (COMPRAIL 2004)
- 학회 개최일
- 2004-05-17 ~ 2004-05-19