Compositional verification of real-time systems using Ecdar

  • Alexandre David
  • , Kim Guldstrand Larsen
  • , Axel Legay
  • , Mikael Harkjær Møller
  • , Ulrik Mathias Nyman
  • , Anders Peter Ravn
  • , Arne Joachim Skou
  • , Andrzej Wasowski

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

    Filter
    Afsluttet

    Søgeresultater