Model Checking a Distributed Interlocking System Using k-induction with RT-Tester

von Geisler, Signe
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)