Formal methods for industrial applications. Specification and programming the Steam Boiler Control
From MaRDI portal
Publication:1126522
zbMATH Open1060.68501MaRDI QIDQ1126522FDOQ1126522
Authors:
Publication date: 10 December 1996
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Computing methodologies and applications (68U99) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (17)
- Communities and ancestors associated with Egon Börger and ASM
- Twenty years of rewriting logic
- Hybrid multirate PALS
- Language and communication problems in formalization: a natural language approach
- A high-level modular definition of the semantics of C\(_{\sharp}\)
- What's decidable about hybrid automata?
- Inclusion dynamics hybrid automata
- Specification of real-time and hybrid systems in rewriting logic
- A Hoare logic for linear systems
- Parametric Verification of Weighted Systems
- Verifying untimed and timed aspects of the experimental batch plant
- A unified linear-time temporal logic solution to the steam-boiler control specification problem
- Introducing \(H\), an institution-based formal specification and verification language
- Hybrid action systems
- UTP, \textsf{\textit{Circus}}, and Isabelle
- Rewriting logic: Roadmap and bibliography
- Formalism and method
This page was built for publication: Formal methods for industrial applications. Specification and programming the Steam Boiler Control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1126522)
