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

Résultat de recherche 2004 2019

Filtre
Article
2018
15 Downloads (Pure)

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 août 2018, p. 325-332. 8 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

Accès ouvert
File
Taxonomies
Testing
Specifications
Costs