Verification of Automatic Train Protection Systems with RTCP-Nets.

Marcin Szpyrka, Tomasz Szmuc

Browse the full SAFECOMP paper archive.