CV Accueil - Archive ouverte HAL

	On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B Yamine Aït-Ameur , Idir Ait-Sadoune , Pierre Castéran , John Paul Gibson , Kahina Hacid 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩ Communication dans un congrès hal-01797538v1
	Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. Jean-Paul Gibson , Idir Ait-Sadoune , Marc Pantel 7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece Communication dans un congrès hal-01430628v1
	Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction Jean-Paul Gibson , Idir Ait-Sadoune ISoLA 2014, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007/978-3-662-45231-8_47⟩ Communication dans un congrès hal-01103304v1

Idir Ait Sadoune