Abdelkader Khouass

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Automatic Analysis

Multiresolution

Top Venues

Publications

Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi
Modeling and Analysis of the Landing Gear System with the Generalized Contracts. CoRR (2021)
Abdelkader Khouass, J. Christian Attiogbé, Mohamed Messabihi
Multi-Facets Contract for Modeling and Verifying Heterogeneous Systems. CoRR (2020)