Production year

Export Publications

Export the displayed publications:
Number of documents


Publications de Idir AIT SADOUNE


Conference papers2 documents

  • Idir Aït-Sadoune, Yamine Aït-Ameur. From BPEL to Event-B. International Workshop on Integration of Model-based Methods and Tools (IM FMT 2009) at 7th International Conference on integrated Formal Methods (IFM 2009)., Feb 2009, Düsseldorf, Germany. ⟨hal-00634398⟩
  • Idir Aït-Sadoune, Yamine Aït-Ameur. A Proof Based Approach for Modelling and Verifying Web Services Compositions. 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), Jun 2009, Potsdam, Germany. pp.1-10. ⟨hal-00634395⟩