| emsoft | participants

Brian Nielsen

EMSOFT 2005: 5th ACM International Conference on Embedded Software

Testing Real-Time Embedded Software using UPPAAL-TRON: an Industrial Case Study

Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, and Arne Skou