Iversen, Torsten K.
-
BRICS Report Series No. 53 (1999): RS-53 Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL - Articles
Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL
Abstract PDF