Yamine Aït-Ameur
3 published titles
ABZ 2014 : the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783319075112
- Springer
- 2014
- Details
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783662436516
- Springer
- 2014
- Details
Model and data engineering : 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783319115863
- Springer
- 2014
- Details
