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