Searching for authors named "Kim Guldstrand Larsen" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Verification of Timed and Hybrid Systems
- …Verification of Timed and Hybrid Systems Kim Guldstrand Larsen BRICS # # # , Dep. of Computer…
- Cited by 1 (0 self) – Add To MetaCart
-
A Refinement Logic for the Fork Calculus
- …A Refinement Logic for the Fork Calculus Klaus Havelund Kim Guldstrand Larsen y Abstract…
- Cited by 3 (0 self) – Add To MetaCart
-
UPPAAL2k
- …UPPAAL2k by Paul Pettersson and Kim Guldstrand Larsen Background UPPAAL [1] is a tool…
- Add To MetaCart
-
Timed and Hybrid Automata
- …, Denmark, June 26-30, 2000 Advanced Tutorial Timed and Hybrid Automata Organised by Kim Gulstrand Larsen…
- Add To MetaCart
-
Formal Verification of an Audio/Video Power Controller using the Real-Time Model Checker UPPAAL
- … Klaus Havelund, Kim Guldstrand Larsen, Arne Skou BRICS, Aalborg University, Denmark fhavelund…
- Cited by 6 (4 self) – Add To MetaCart
-
Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial . . .
- … Case Study Using UPPAAL Klaus Havelund Arne Skou Kim Guldstrand Larsen BRICS , Aalborg University…
- Cited by 2 (0 self) – Add To MetaCart
-
Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL
- … Klaus Havelund Arne Skou Kim Guldstrand Larsen BRICS, Aalborg University, Denmark fhavelund…
- Cited by 41 (14 self) – Add To MetaCart
Showing 1 through 7.
