Profiles
Contents from Pierre Schaus on this site
Publications
2015
- Verification of railway interlocking systems. Simon Busard, Quentin Cappart, Christophe Limbrée?, Charles Pecheur, Pierre Schaus. Proceedings 4th International Workshop on Engineering Safety and Security Systems, Oslo, Norway, June 22, 2015.