Formal methods for industrial applications. Specification and programming the Steam Boiler Control

zbMath1060.68501MaRDI QIDQ1126522

No author found.

Publication date: 10 December 1996

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computing methodologies and applications (68U99)

Related Items (16)

Rewriting logic: Roadmap and bibliography ⋮ Hybrid Multirate PALS ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Twenty years of rewriting logic ⋮ Parametric Verification of Weighted Systems ⋮ A Hoare logic for linear systems ⋮ Formalism and method ⋮ A unified linear-time temporal logic solution to the steam-boiler control specification problem ⋮ A high-level modular definition of the semantics of C\(_{\sharp}\) ⋮ Inclusion dynamics hybrid automata ⋮ Verifying untimed and timed aspects of the experimental batch plant ⋮ What's decidable about hybrid automata? ⋮ Hybrid action systems ⋮ Specification of real-time and hybrid systems in rewriting logic ⋮ Communities and ancestors associated with Egon Börger and ASM ⋮ Language and communication problems in formalization: a natural language approach

This page was built for publication: Formal methods for industrial applications. Specification and programming the Steam Boiler Control