FORMATS: Formal Modelling and Analysis of Timed Systems

Published by: Springer  

Groups

  1. Henzinger Group (2)
  2. PhD Students (1)

Results (2)

  • Conic abstractions for hybrid systems
    Conference paper
  • FORMATS: Formal Modelling and Analysis of Timed Systems – authorized name for:

    Name ISSN/ISBN Publisher
    FORMATS: Formal Modelling and Analysis of Timed Systems 978-331965764-6 Springer