Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique.

Antonio Borrelli, Giuseppe Antonio Di Lucca, Vittoria Nardone, Antonella Santone

Browse the full WETICE paper archive.