DMCA
Online Testing of Real-time Systems using UPPAAL (2004)
Cached
Download Links
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: | 73 - 11 self |