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.

Authors

F. Ammar-Boudjelal

This author has not been identified. Look up 'F. Ammar-Boudjelal' in Google

Jean-Yves Lafaye

This author has not been identified. Look up 'Jean-Yves Lafaye' in Google

Georges Louis

This author has not been identified. Look up 'Georges Louis' in Google