Abdelkader Khouass

Orcid: 0000-0002-2075-602X

According to our database¹, Abdelkader Khouass authored at least 2 papers in 2021.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2021

Modeling and Analysis of the Landing Gear System with the Generalized Contracts.

[DOI]

CoRR, 2021

Multi-facets Contract for Modeling and Verifying Heterogeneous Systems.

[DOI]

Proceedings of the Model and Data Engineering - 10th International Conference, 2021