Model checking adaptive software with featured transition systems

Maxime Cordy*, Andreas Classen, Patrick Heymans, Axel Legay, Pierre Yves Schobbens

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

27 Citationer (Scopus)

Fingeraftryk Dyk ned i forskningsemnerne om 'Model checking adaptive software with featured transition systems'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab