Aït-Sadoune, Idir, 1981-...., informaticien
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 307501726 (Personal)
Permalink: http://viaf.org/viaf/307501726
Preferred Forms
Works
| Title | Sources |
|---|---|
| Advances in Model and Data Engineering in the Digitalization Era : MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21-24, 2022, Proceedings |
|
| Formal modelling and verification of multimodal human computer interfaces : output multimodality. |
|
| Modélisation et vérification formelles de compositions de services |
|
