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

Résultat de recherche 2014 2019

  • 13 Citations
  • 2 h-Index
  • 5 Article dans les actes d'une conférence/un colloque
  • 4 Article
  • 1 Chapitre (revu par des pairs)
Filtre
Article
2018
19 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
2016

FourthWorkshop on the globalization of modeling languages (GEMOC 2016)

Deantoni, J., Syriani, E., Amrani, M., Knapp, A. & Gray, J., 2016, Dans : CEUR Workshop Proceedings. 1731, p. 1-7 7 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Large scale systems
Feedback
Modeling languages

Real-time model-driven engineering: An overview

Amrani, M. & Schobbens, P. Y., 2016, Dans : CEUR Workshop Proceedings. 1693, p. 18-27 10 p.

Résultats de recherche: Contribution à un journal/une revueArticle

2014

Report on the third workshop on verification of model transformations (VOLT 2014)

Amrani, M., Syriani, E., Wimmer, M., Bill, R., Gogolla, M., Hermann, F. & Lano, K., 1 janv. 2014, Dans : CEUR Workshop Proceedings. 1325, p. 1-9 9 p.

Résultats de recherche: Contribution à un journal/une revueArticle