The top documents tagged [0x3ida foredrag]

Modelling and Analysis of Real Time Systems Kim Guldstrand Larsen

---

36 views

1 Timed and Hybrid Systems in UPPAAL2k Kim Guldstrand Larsen BRICS@Aalborg Paul Pettersson BRICS@Aalborg & DoCS@Uppsala.

---

218 views