학술논문
Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study
Document Type
Article
Author
Source
In: Urban Rail Transit . (Urban Rail Transit, December 2022, 8(3-4):217-245)
Subject
Language
English
ISSN
21996679
21996687
21996687