Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System.

Huu Nghia Nguyen, Ana R. Cavalli

Browse the full SEKE paper archive.