CoqTL: A Coq DSL for Rule-Based Model Transformation - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Software and Systems Modeling Année : 2020

Dates et versions

hal-02333564 , version 1 (25-10-2019)

Identifiants

Citer

Zheng Cheng, Massimo Tisi, Rémi Douence. CoqTL: A Coq DSL for Rule-Based Model Transformation. Software and Systems Modeling, 2020, 19, pp.425-439. ⟨10.1007/s10270-019-00765-6⟩. ⟨hal-02333564⟩
204 Consultations
402 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More