Pages that link to "Item:Q1126522"
From MaRDI portal
The following pages link to Formal methods for industrial applications. Specification and programming the Steam Boiler Control (Q1126522):
Displaying 16 items.
- A Hoare logic for linear systems (Q469998) (← links)
- A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- What's decidable about hybrid automata? (Q1273866) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Hybrid action systems (Q1853618) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Formalism and method (Q1978639) (← links)
- Communities and ancestors associated with Egon Börger and ASM (Q2117583) (← links)
- Language and communication problems in formalization: a natural language approach (Q2117584) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Verifying untimed and timed aspects of the experimental batch plant (Q2512162) (← links)
- Hybrid Multirate PALS (Q2945702) (← links)
- Parametric Verification of Weighted Systems (Q5240155) (← links)
- A unified linear-time temporal logic solution to the steam-boiler control specification problem (Q5926751) (← links)
