Article Dans Une Revue
Formal Aspects of Computing
Année : 2015
Jean-Michel Caricand : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01228335
Soumis le : jeudi 12 novembre 2015-21:18:58
Dernière modification le : vendredi 9 février 2024-03:25:07
Citer
Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Castillos, Bilal Kanso. A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns. Formal Aspects of Computing, 2015, 27 (4), pp.641-664. ⟨10.1007/s00165-014-0328-5⟩. ⟨hal-01228335⟩
Collections
256
Consultations
0
Téléchargements