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]
Abstract is missing.