Multi-facets Contract for Modeling and Verifying Heterogeneous Systems. - A. Abdelkader Khouass; J. Christian Attiogbé; Mohamed Messabihi (MEDI, 2021)

Modeling and Analysis of the Landing Gear System with the Generalized Contracts. - Abdelkader Khouass; J. Christian Attiogbé; Mohamed Messabihi (CoRR, 2021)