An ocarina extension for AADL formal semantics generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel. An ocarina extension for AADL formal semantics generation. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 1402-1409, ACM, 2018. [doi]

This author has not been identified. Look up 'Hana Mkaouar' in GoogleThis author has not been identified. Look up 'Bechir Zalila' in GoogleThis author has not been identified. Look up 'Jérôme Hugues' in GoogleThis author has not been identified. Look up 'Mohamed Jmaiel' in Google

runs on WebDSL