Idir Ait Sadoune
1
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B6th 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
|