DMCA

Formal Verification of an Audio/Video Power Controller using the Real-Time Model Checker UPPAAL (1998)

Cached

Download Links

by Klaus Havelund , Kim Guldstrand Larsen , Arne Skou
Venue:IN 5TH INT. AMAST WORKSHOP ON REAL-TIME AND PROBABILISTIC SYSTEMS, NUMBER 1601 IN LECTURE NOTES IN COMPUTER SCIENCE
Citations:6 - 4 self