Christian Attiogbé. Mapping Component Models on Distributed Architectures: Correctness Checking. In Michalis Famelis, Daniel Ratiu, Gehan M. K. Selim, editors, Proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016. Volume 1713 of CEUR Workshop Proceedings, pages 1-9, CEUR-WS.org, 2016. [doi]
@inproceedings{Attiogbe16,
title = {Mapping Component Models on Distributed Architectures: Correctness Checking},
author = {Christian Attiogbé},
year = {2016},
url = {http://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_1.pdf},
researchr = {https://researchr.org/publication/Attiogbe16},
cites = {0},
citedby = {0},
pages = {1-9},
booktitle = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016},
editor = {Michalis Famelis and Daniel Ratiu and Gehan M. K. Selim},
volume = {1713},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}