[IEEE Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 - Stockholm, Sweden (2000.06.21-2000.06.21)] Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000 - Model-checking real-time control programs: verifying LEGO MINDSTORMSTM systems using UPPAAL
Iversen, Torsten K., Kristoffersen, Kare J., Larsen, Kim G., Laursen, Morten, Madsen, Rune G., Mortensen, Steffen K., Pettersson, Paul, Thomasen, Chris B.Year:
2000
Language:
english
DOI:
10.1109/emrts.2000.854002
File:
PDF, 277 KB
english, 2000