A Combined Graph-based Approach for Systems Design And Verification.

Najet Zoubeir, Adel Khalfallah

Browse the full MODELSWARD paper archive.