Yi, Wang
-
BRICS Report Series Nr. 3 (2000): RS-3 On Memory-Block Traversal Problems in Model Checking Timed Systems - Artikler
On Memory-Block Traversal Problems in Model Checking Timed Systems
Resumé PDF (English) -
BRICS Report Series Nr. 59 (1996): RS-59 Compositional and Symbolic Model-Checking of Real-Time Systems - Artikler
Compositional and Symbolic Model-Checking of Real-Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 46 (1998): RS-46 Clock Difference Diagrams - Artikler
Clock Difference Diagrams
Resumé PDF (English) -
BRICS Report Series Nr. 57 (1996): RS-57 Diagnostic Model-Checking for Real-Time Systems - Artikler
Diagnostic Model Checking for Real-Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 55 (1996): RS-55 A Compositional Proof of a Real-Time Mutual Exclusion Protocol - Artikler
A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Resumé PDF (English) -
BRICS Report Series Nr. 58 (1996): RS-58 UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems - Artikler
UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems
Resumé PDF (English) -
BRICS Report Series Nr. 47 (1998): RS-47 Efficient Timed Reachability Analysis using Clock Difference Diagrams - Artikler
Efficient Timed Reachability Analysis using Clock Difference Diagrams
Resumé PDF (English) -
BRICS Report Series Nr. 60 (1996): RS-60 UPPAAL in 1995 - Artikler
UPPAAL in 1995
Resumé PDF (English)