No. 8 (1999): RS-8 Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL

Published: 1999-01-08