Skou, Arne
-
BRICS Report Series Nr. 31 (1997): RS-31 Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL - Artikler
Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL
Resumé PDF (English) -
BRICS Report Series Nr. 60 (1995): RS-60 Specification and Automated Verification of Real-Time Behaviour —A Case Study - Artikler
Specification and Automated Verification of Real-Time Behaviour —A Case Study
Resumé PDF (English) -
BRICS Report Series Nr. 24 (1996): RS-24 Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL - Artikler
Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL
Resumé PDF (English) -
BRICS Report Series Nr. 8 (1999): RS-8 Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL - Artikler
Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL
Resumé PDF (English) -
BRICS Report Series Nr. 19 (1994): RS-19 Automatic Verification of Real-Timed Systems Using EPSILON - Artikler
Automatic Verification of Real-Timed Systems Using EPSILON
Resumé PDF (English) -
BRICS Report Series Nr. 48 (2003): RS-48 Danfoss EKC Trial Project Deliverables - Artikler
Danfoss EKC Trial Project Deliverables
Resumé PDF (English)