Empreinte digitale
Examiner les sujets de recherche de « Model checking adaptive software with featured transition systems ». Ensemble, ils forment une empreinte digitale unique.- Trier par
- Pondération
- Par ordre alphabétique
Model checking adaptive software with featured transition systems
Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre Schobbens
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre
221
Téléchargements
(Pure)