Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System.
['Huu Nghia Nguyen', 'Ana R. Cavalli']
Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System.