Login / Signup
Study on Formal Specification of Automatic Train Protection and Block System for Local Line.
Guo Xie
Akira Asano
Sei Takahashi
Hideo Nakamura
Published in:
SSIRI (Companion) (2011)
Keyphrases
</>
formal specification
data warehouse
multistage
model checking
distributed environment
formal methods
specification languages