Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System.

Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo

Browse the full ISoLA paper archive.