Meta-models Combination for Reusing Verification Techniques

Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-02080768
Contributor : Frédéric Mallet <>
Submitted on : Wednesday, March 27, 2019 - 8:30:29 AM
Last modification on : Thursday, March 28, 2019 - 3:25:18 AM

Identifiers

Collections

Citation

Hui Zhao, Ludovic Apvrille, Frédéric Mallet. Meta-models Combination for Reusing Verification Techniques. 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩. ⟨hal-02080768⟩

Share

Metrics

Record views

30