Travelled to:1 × Ireland
Collaborated with:A.E.Haxthausen M.L.Bliguet
Talks about:interlock (1) develop (1) system (1) formal (1) verif (1) relay (1) model (1) autom (1) tool (1)
Person: Andreas A. Kjær
DBLP: Kj=aelig=r:Andreas_A=
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.