Main

Mint Work Search Explore Works Knowledge Graph Citation Graph Bibliometrics Receipts

info@nobleid.org

About Fund our work FAQ Developers Terms Policy Persistence & Resolver Service Policy

Formal verification of movement authorities in automatic train control systems | NobleID

v1

Formal verification of movement authorities in automatic train control systems

Saurav Kumar Ghosh, Pallab Dasgupta, Chittaranjan Mandal, Anil Katiyar

SG

Saurav Kumar Ghosh

NobleIDNI0P32W48R41S18

Type:Journal Article

Claim Your Authorship

Sign in to see the full record

Creating an account is free.

Create an account

For data access, contact info@nobleid.org.