Login / Signup
Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System.
Huu Nghia Nguyen
Ana R. Cavalli
Published in:
SEKE (2014)
Keyphrases
</>
formal verification
control system
automated verification
cooperative
distributed systems
computer systems
model checking
multi agent systems
knowledge based systems
real time systems
real time
closed loop
model checker