Efficient family-based model checking via variability abstractions

Aleksandar Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Efficient family-based model checking via variability abstractions'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Computer Science