Nr. 53 (1999): RS-53 Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL

Artikler

• Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL

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

  • PDF (English)