From AADL Model to LNT Specification

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel. From AADL Model to LNT Specification. In Juan Antonio de la Puente, Tullio Vardanega, editors, Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings. Volume 9111 of Lecture Notes in Computer Science, pages 146-161, Springer, 2015. [doi]

Abstract

Abstract is missing.