Travelled to:1 × Ireland
Collaborated with:A.E.Haxthausen A.A.Kjær
Talks about:interlock (1) develop (1) system (1) formal (1) verif (1) relay (1) model (1) autom (1) tool (1)
Person: Marie Le Bliguet
DBLP: Bliguet:Marie_Le
Contributed to:
2011Wrote 1 papers:
- FM-2011-HaxthausenKB #automation #development #modelling #verification
- Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems (AEH, AAK, MLB), pp. 118–132.