Publications

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

Informations générales

étatPublié
organisationsNamur Digital Institute, Namur Research Institute for Life Sciences, Research group on the foundations of computer sciences, Research Center on Information Systems Engineering, Faculté d'informatique
AuteursOrtiz Vega, J. J., Perrouin, G., Amrani, M., Schobbens, P.
Nombre de pages8
Pages325-332
Date de publication2 août 2018
Révision par des pairs?Oui
EvénementPapier présenté à 18th IEEE International Conference on Quality, Reliability, and Security, Lisbon, Portugal.
Les domaines scientifiques ASJClogiciel, Sécurité, des risques, de la fiabilité et de la qualité
Les versions électroniques
Les DOIs
URLs

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