Andreas A. Kjær

According to our database, Andreas A. Kjær authored at least 2 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems.

Anne E. Haxthausen, Andreas A. Kjær, Marie Le Bliguet

Proceedings of the FM 2011: Formal Methods, 2011

2008

Modelling and Verification of Relay Interlocking Systems.

Anne E. Haxthausen, Marie Le Bliguet, Andreas A. Kjær

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008