The Real-Time Behavior of the Steam Boiler

• Authors:

• Jorge Cuéllar;Isolde Wildgruber

• 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