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

Return to Article Details Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL Download Download PDF