Production year

Export Publications

Export the displayed publications:
Number of documents

3

Publications de Idir AIT SADOUNE


2015   

Book sections1 document

  • Idir Ait-Sadoune, Yamine Ait Ameur. Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B. Correct Software in Web Applications and Web Services, Springer, pp.1-27, 2015, Texts & Monographs in Symbolic Computation, 978-3-319-17112-8. ⟨hal-01274690⟩

Journal articles2 documents

  • Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Ait Ameur, Mohamed Ahmed-Nacer. A formal model for output multimodal HCI - An Event-B formalization. Computing, Springer Verlag, 2015, Special Issue on Contributions of computational intelligence in designing complex information systems, 97 (7), pp.713-740. ⟨10.1007/s00607-015-0460-y⟩. ⟨hal-01274680⟩
  • Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Ait Ameur, Ahmed-Nacer Mohamed. Modélisation formelle d’IHM multimodales en sortie avec B Événementiel : approche par généralisation et instanciation. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2015, 34 (5), pp.521-546. ⟨hal-01274714⟩