Email Address * *
Name
Subject *
Message * Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal - 1289283141 - 9781289283148