Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1165, Band 1165)

Ein praxisorientiertes Werk, das die Theorie formaler Methoden auf die Steuerung von Dampfkesseln überträgt; es zeigt Schritt für Schritt, wie Spezifikationen in sichere Programme umgesetzt werden können.

Teilen: