상세 보기
초록
As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal m
- 제목
- MODEL CHECKER FOR RAILWAY SIGNALLING COMMUNICATION PROTOCOL
- 제목 (타언어)
- Model Checker for Railway Signalling Communication Protocol
- 저자
- 황종규; 조현정; 이재호
- 발행일
- 2006-07-10
- 학회명
- Computers in Railway(WIT Trans. on Built Wnvironment)