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]
No references recorded for this publication.
No citations of this publication recorded.