Morten Laursen

According to our database, Morten Laursen authored at least 2 papers between 2000 and 2008.

Collaborative distances:

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

2008

Fault Diagnosis Of A Water For Injection System Using Enhanced Structural Isolation.

Morten Laursen, Mogens Blanke, Dilek Düstegör

Int. J. Appl. Math. Comput. Sci., 2008

2000

Model-checking real-time control programs: verifying Lego(R) Mindstorms^TM systems using UPPAAL.

Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000