DMCA

Testing real-time embedded software using uppaal-tron - an industrial case study (1997)

by Kim G. Larsen , Marius Mikucionis , Brian Nielsen , Arne Skou
Venue:In Proc. of the 5th ACM International Conference on Embedded Software, 2005. [LPY97] [LT88] [Tre96] [Vil05
Citations:40 - 3 self