Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT).
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).(1995)
关键词
Programming Boiler Control,Refined User Requirements,Structural Synthesis
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要