Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency

Mathilde Machin, Estelle Saez, Pierre Virelizier, Xavier de Bossoreille. Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency. In Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano, editors, Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. Volume 11842 of Lecture Notes in Computer Science, pages 3-17, Springer, 2019. [doi]

Abstract

Abstract is missing.