Specifying the steam-boiler case study with SDL

F. Ammar-Boudjelal, Jean-Yves Lafaye, Georges Louis. Specifying the steam-boiler case study with SDL. In Ana R. Cavalli, Amardeo Sarma, editors, SDL 97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings. pages 491-506, Elsevier, 1997.

Abstract

Abstract is missing.