Normal view
MARC view
Formal Verification (Topical Term)
Machine generated authority record
Work cat.: (NEDUET)735185: Hwang, Jong-Gyu 754428, Development of Communication Protocol Verifieation Tool for Vital Railway Signaling Systems