Havelund, Klaus
-
BRICS Report Series No. 31 (1997): RS-31 Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL - Articles
Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL
Abstract PDF -
BRICS Report Series No. 8 (1999): RS-8 Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL - Articles
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL
Abstract PDF