Publication | Closed Access

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

Formal SpecificationEngineeringSteam Boiler ControlIndustrial EngineeringFormal ModelingProcess ControlComputer EngineeringSystems EngineeringFormal MethodsDagstuhl SeminarFormal TechniqueComputer ScienceModeling And SimulationIndustrial Process ControlFormal VerificationSoftware DesignSteam Distribution