Uppaal in a nutshell

  • Kim G. Larsen
  • Paul Pettersson
  • Wang Yi
Special section on timed and hybrid systems
Key words: Modeling real-time systems – Dynamic modeling – Modeling tools – Uppaal 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Kim G. Larsen
    • 1
  • Paul Pettersson
    • 2
  • Wang Yi
    • 2
  1. 1.Department of Computer Science and Mathematics, Aalborg University, Denmark; E-mail: kgl@cs.auc.dkDK
  2. 2.Department of Computer Systems, Uppsala University, Sweden; E-mail: {paupet,yi}@docs.uu.seSE

Personalised recommendations