A Combined Graph-based Approach for Systems Design And Verification

Najet Zoubeir, Adel Khalfallah. A Combined Graph-based Approach for Systems Design And Verification. In Slimane Hammoudi, Luís Ferreira Pires, Philippe Desfray, Joaquim Filipe, editors, MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015. pages 346-353, SciTePress, 2015. [doi]

Abstract

Abstract is missing.