Formal verification of a power controller using the real-time model checker uppaal (1999)

by Klaus Havelund , Kim Guldstr , Arne Skou
Venue:In 5th International AMAST Workshop on Real-Time and Probabilistic Systems, volume Lecture Notes in Computer Science
Citations:11 - 2 self