Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic.

Yupeng Liu Tao Tang Jintao Liu Lin Zhao Tianhua Xu

Published in: ISADS (2011)

Keyphrases

dynamic logic
modal logic
formal methods
model checking
formal verification
artificial intelligence
knowledge base
formal analysis
mobile communication
formal models