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

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Compositional verification of real-time systems using Ecdar'. Sammen danner de et unikt fingeraftryk.

    Computer Science

    Keyphrases

    Engineering