Fingeraftryk
Dyk ned i forskningsemnerne om 'Model checking adaptive software with featured transition systems'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
34
Citationer
(Scopus)