Model Checking Feature Interactions

Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders Peter Ravn, Arne Joachim Skou

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Model Checking Feature Interactions'. Sammen danner de et unikt fingeraftryk.

Computer Science