Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program

• Authors:

• Christoph Andriessens;Thomas Lindner

• Affiliations:

• -;-

• Venue:
• Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
• Year:
• 1996