Publications of
Frédéric Boniol, Virginie Wiels, Yamine Aït-Ameur, Klaus-Dieter Schewe
The landing gear case study: challenges and experiments
International Journal on Software Tools for Technology Transfer, 2016, 19 (2), pp.133-140. ⟨10.1007/s10009-016-0431-4⟩
Yamine Aït-Ameur, Klaus-Dieter Schewe
Introduction to the ABZ 2014 special issue
Ait Ameur, Yamine; Schewe, Klaus-Dieter. Elsevier, 131 (Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014), pp.1-2, 2016, Science of Computer Programming, ⟨10.1016/j.scico.2016.09.001⟩
Yamine Aït-Ameur, Klaus-Dieter Schewe
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Ait Ameur, Yamine; Schewe, Klaus-Dieter. 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Lecture Notes in Computer Science, 8477, pp.XVI, 336, 2014, Theoretical Computer Science and General Issues, 978-3662436516. ⟨10.1007/978-3-662-43652-3⟩
Abdelkader Hameurlain, Stephen Liddle , Klaus-Dieter Schewe, Xiaofang Zhou
22nd International Conference on Database and Expert Systems Applications – DEXA 2011, Toulouse, France, 29/08/11 – 02/09/11, Springer, LNCS 6861, August 2011.
Abdelkader Hameurlain, Stephen Liddle , Klaus-Dieter Schewe, Xiaofang Zhou
22nd International Conference on Database and Expert Systems Applications – DEXA 2011, Toulouse, France, 29/08/11 – 02/09/11, Springer, LNCS 6860, August 2011.