The top documents tagged [jp katoen]

Dependable Embedded Software Systems Kim Guldstrand Larsen UCb.

---

218 views

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