학술논문
Verification and conformance test generation of communication protocol for railway signaling systems
Document Type
Article
Source
In Computer Standards & Interfaces 2007 29(2):143-151
Subject
Language
ISSN
0920-5489