Online Testing of Real-time Systems using UPPAAL (2004)

by Anders Hessel , Kim G. Larsen , Marius Mikucionis, Brian Nielsen , Paul Pettersson , Arne Skou
Venue:INTERNATIONAL WORKSHOP ON FORMAL APPROACHES TO TESTING OF SOFTWARE. CO-LOCATED WITH IEEE CONFERENCE ON AUTOMATES SOFTWARE ENGINEERING 2004
Citations:42 - 9 self