Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT)

Mattin Addibpour, Enn Tyugu. Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT). In Jean-Raymond Abrial, Egon Börger, Hans Langmaack, editors, Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Volume 1165 of Lecture Notes in Computer Science, pages 13-34, Springer, 1995.

Abstract

Abstract is missing.