Testing real-time embedded software using UPPAAL-TRON: an industrial case study.

Kim Guldstrand Larsen Marius Mikucionis Brian Nielsen Arne Skou

Published in: EMSOFT (2005)

Keyphrases

embedded software
real time
development projects
software architecture
embedded systems
low cost
sequence diagrams
model checking
software development
software testing