70112324

a

70112324 Larsen, Kim Guldstrand Mikucionis, Marius Nielsen, Brian Skou, Arne Testing real-time embedded software using UPPAAL-TRON: an industrial case study EMSOFT, 299-306 (2005). 2005 EN

doi:10.1145/1086228.1086283