default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDagstuhl Seminar: Formal Methods for Industrial Applications 1995
- Jean-Raymond Abrial, Egon Börger, Hans Langmaack:
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Lecture Notes in Computer Science 1165, Springer 1996, ISBN 3-540-61929-1 - Jean-Raymond Abrial, Egon Börger, Hans Langmaack:
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods. 1-12 - Mattin Addibpour, Enn Tyugu:
Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT). 13-34 - Christoph Andriessens, Thomas Lindner:
Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program. 35-51 - Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene:
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. 52-78 - Michel Bidoit, Claude Chevenier, Christine Pellen, Jérôme Ryckbosch:
An Algebraic Specification of the Steam-Boiler Control System. 79-108 - Robert Büssow, Matthias Weber:
A Steam-Boiler Control Specification with Statecharts and Z. 109-128 - Michael J. Butler, Emil Sekerinski, Kaisa Sere:
An Action System Approach to the Steam Boiler Problem. 129-148 - Thierry Cattel, Grégory Duval:
The Steam-Boiler Problem in Lustre. 149-164 - Jorge Cuéllar, Isolde Wildgruber:
The Steam-Boiler Problem - A TLT Solution. 165-183 - Jorge Cuéllar, Isolde Wildgruber:
The Real-Time Behavior of the Steam Boiler. 184-202 - Grégory Duval, Thierry Cattel:
Specifying and Verifying the Steam-Boiler Problem with SPIN. 203-217 - Angelo Gargantini
, Angelo Morzenti:
TRIO Specification of a Steam Boiler Controller. 218-232 - Marie-Claude Gaudel, Pierre Dauchy, Carole Khoury:
A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. 233-264 - Thomas A. Henzinger, Howard Wong-Toi:
Using HyTech to Synthesize Control Parameters for a Steam Boiler. 265-282 - Yves Ledru, Marie-Laure Potet:
A VDM Specification of the Steam-Boiler Problem. 283-317 - Gunter Leeb, Nancy A. Lynch:
Proving Safety Properties of the Steam Boiler Controller. 318-338 - Frank Leßke, Stephan Merz:
Steam Boiler Control Specification Problem: A TLA Solution. 339-358 - Xiaoshan Li, Juan Wang:
Specifying Optimal Design of a Steam-Boiler System. 359-378 - Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing:
An Object-Oriented Algebraic Steam-Boiler Control Specification. 379-402 - Michael Schenke, Anders P. Ravn:
Refinement from a Control Problem to Programs. 403-427 - Christian P. Schinagl:
VDM Specification of the Steam-Boiler Control Using RSL Notation. 428-452 - Jan Vitt, Jozef Hooman:
Assertional Specification and Verification Using PVS of the Steam Boiler Control System. 453-472 - Andreas Willig, Ina Schieferdecker:
Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS. 473-492 - Annette Lötzbeyer:
Simulation of a Steam-Boiler. 493-499 - Jean-Raymond Abrial:
Steam-Boiler Control Specification Problem. 500-509
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-07 00:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
