C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Methods for Industrial Applications
1995
1996
1995
1996
Keyphrases
Publications
volume 1165, 1996
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Formal Methods for Industrial Applications
1165 (1996)
1995
Mattin Addibpour
,
Enn Tyugu
Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT).
Formal Methods for Industrial Applications
(1995)
Peter Csaba Ölveczky
,
Piotr Kosiuczenko
,
Martin Wirsing
An Object-Oriented Algebraic Steam-Boiler Control Specification.
Formal Methods for Industrial Applications
(1995)
Jan Vitt
,
Jozef Hooman
Assertional Specification and Verification Using PVS of the Steam Boiler Control System.
Formal Methods for Industrial Applications
(1995)
Marie-Claude Gaudel
,
Pierre Dauchy
,
Carole Khoury
A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State.
Formal Methods for Industrial Applications
(1995)
Yves Ledru
,
Marie-Laure Potet
A VDM Specification of the Steam-Boiler Problem.
Formal Methods for Industrial Applications
(1995)
Jorge Cuéllar
,
Isolde Wildgruber
The Steam-Boiler Problem - A TLT Solution.
Formal Methods for Industrial Applications
(1995)
Michel Bidoit
,
Claude Chevenier
,
Christine Pellen
,
Jérôme Ryckbosch
An Algebraic Specification of the Steam-Boiler Control System.
Formal Methods for Industrial Applications
(1995)
Christian P. Schinagl
VDM Specification of the Steam-Boiler Control Using RSL Notation.
Formal Methods for Industrial Applications
(1995)
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.
Formal Methods for Industrial Applications
(1995)
Gunter Leeb
,
Nancy A. Lynch
Proving Safety Properties of the Steam Boiler Controller.
Formal Methods for Industrial Applications
(1995)
Thierry Cattel
,
Grégory Duval
The Steam-Boiler Problem in Lustre.
Formal Methods for Industrial Applications
(1995)
Jean-Raymond Abrial
,
Egon Börger
,
Hans Langmaack
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods.
Formal Methods for Industrial Applications
(1995)
Thomas A. Henzinger
,
Howard Wong-Toi
Using HyTech to Synthesize Control Parameters for a Steam Boiler.
Formal Methods for Industrial Applications
(1995)
Frank Leßke
,
Stephan Merz
Steam Boiler Control Specification Problem: A TLA Solution.
Formal Methods for Industrial Applications
(1995)
Michael Schenke
,
Anders P. Ravn
Refinement from a Control Problem to Programs.
Formal Methods for Industrial Applications
(1995)
Jean-Raymond Abrial
Steam-Boiler Control Specification Problem.
Formal Methods for Industrial Applications
(1995)
Robert Büssow
,
Matthias Weber
A Steam-Boiler Control Specification with Statecharts and Z.
Formal Methods for Industrial Applications
(1995)
Andreas Willig
,
Ina Schieferdecker
Specifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS.
Formal Methods for Industrial Applications
(1995)
Jorge Cuéllar
,
Isolde Wildgruber
The Real-Time Behavior of the Steam Boiler.
Formal Methods for Industrial Applications
(1995)
Grégory Duval
,
Thierry Cattel
Specifying and Verifying the Steam-Boiler Problem with SPIN.
Formal Methods for Industrial Applications
(1995)
Annette Lötzbeyer
Simulation of a Steam-Boiler.
Formal Methods for Industrial Applications
(1995)
Christoph Andriessens
,
Thomas Lindner
Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program.
Formal Methods for Industrial Applications
(1995)
Michael J. Butler
,
Emil Sekerinski
,
Kaisa Sere
An Action System Approach to the Steam Boiler Problem.
Formal Methods for Industrial Applications
(1995)
Angelo Gargantini
,
Angelo Morzenti
TRIO Specification of a Steam Boiler Controller.
Formal Methods for Industrial Applications
(1995)
Xiaoshan Li
,
Wang Juan
Specifying Optimal Design of a Steam-Boiler System.
Formal Methods for Industrial Applications
(1995)