Publications
Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda
Informations générales
| état | Publié |
|---|---|
| organisations | Namur 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 |
| Auteurs | Ortiz Vega, J. J., Perrouin, G., Amrani, M., Schobbens, P. |
| Nombre de pages | 8 |
| Pages | 325-332 |
| Date de publication | 2 août 2018 |
| Révision par des pairs? | Oui |
|---|
| Evénement | Papier présenté à 18th IEEE International Conference on Quality, Reliability, and Security, Lisbon, Portugal. |
|---|
| Les domaines scientifiques ASJC | logiciel, 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
