Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata

Karima Berramla, El Abbassia Deba, Mohamed El Kamel, Abou El Hassen. Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata. In Badr Abouelmajd, Mohamed Ben Ahmed, Anouar Abdelhakim Boudhir, Hassan El Ghazi, editors, Proceedings of the 2nd International Conference on Networking, Information Systems & Security, NISS 2019, Rabat, Morocco, 27-29 March, 2019. ACM, 2019. [doi]

Authors

Karima Berramla

This author has not been identified. Look up 'Karima Berramla' in Google

El Abbassia Deba

This author has not been identified. Look up 'El Abbassia Deba' in Google

Mohamed El Kamel

This author has not been identified. Look up 'Mohamed El Kamel' in Google

Abou El Hassen

This author has not been identified. Look up 'Abou El Hassen' in Google