Limbree, Christophe, Université catholique de Louvain, Belgium
-
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) - Articles
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.