Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche 2002 2020

Filtre
Autre contribution
2013
18 Downloads (Pure)
File
Sampling
Testing
Markov processes
Explosions
2012
66 Downloads (Pure)

Engineering Configuration Graphical User Interfaces: A Model-based Perspective: Paper submitted to ECMFA'12

Boucher, Q., Perrouin, G., Acher, M. & Heymans, P., 2012, (Non publié)

Résultats de recherche: Autre contribution

File
94 Downloads (Pure)
File
2011
61 Downloads (Pure)

Simulation-Based Abstractions for Software Product-Line Model Checking

Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P-Y. & Legay, A., 2011

Résultats de recherche: Autre contribution

File