Marie Le Bliguet

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Anne E. Haxthausen, Andreas A. Kjær, Marie Le Bliguet
Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. FM (2011)
Anne E. Haxthausen, Marie Le Bliguet, Andreas A. Kjær
Modelling and Verification of Relay Interlocking Systems. Monterey Workshop (2008)