Publications de
Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
The landing gear case study: challenges and experiments
Dans : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Heidelberg, Allemagne, Vol. 19 N. 2, p. 133-140, 2016.
Yamine Ait Ameur, Klaus-Dieter Schewe
Introduction to the ABZ 2014 special issue
Dans : Science of Computer Programming, Elsevier, Vol. 131, 2016.
Yamine Ait 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., Toulouse, 02/06/14 – 06/06/14, Springer-Verlag, LNCS 8477, juin 2014.
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, août 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, août 2011.