Merkzettel Warenkorb
  • Produktbild: Formal Methods for Industrial Applications
  • Produktbild: Formal Methods for Industrial Applications
Band 1165

Formal Methods for Industrial Applications Specifying and Programming the Steam Boiler Control

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.10.1996

Herausgeber

Jean-Raymond Abrial + weitere

Verlag

Springer Berlin

Seitenzahl

523

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

822 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61929-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.10.1996

Herausgeber

Verlag

Springer Berlin

Seitenzahl

523

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

822 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61929-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Methods for Industrial Applications
  • Produktbild: Formal Methods for Industrial Applications
  • The steam boiler case study: Competition of formal program specification and development methods.- Structural synthesis of programs from refined user requirements (Programming boiler control in NUT).- Using Focus, Lustre and probability theory for the design of a reliable control program.- Refining abstract machine specifications of the steam boiler control to well documented executable code.- An algebraic specification of the Steam-Boiler Control System.- A steam-boiler control specification with statecharts and Z.- An action system approach to the steam boiler problem.- The Steam Boiler problem in Lustre.- The steam-boiler problem — A TLT solution.- The real-time behavior of the steam-boiler.- Specifying and verifying the Steam Boiler Problem with SPIN.- TRIO specification of a steam boiler controller.- A formal specification of the Steam-Boiler Control problem by algebraic specifications with implicit state.- Using HyTech to synthesize control parameters for a steam boiler.- A VDM specification of the steam-boiler problem.- Proving safety properties of the steam boiler controller.- Steam boiler control specification problem: A TLA solution.- Specifying optimal design for a steam-boiler system.- An object-oriented algebraic steam-boiler control specification.- Refinement from a control problem to programs.- VDM specification of the steam-boiler control using RSL notation.- Assertional specification and verification using PVS of the steam boiler control system.- Specifying and verifying the steam boiler control system with Time Extended LOTOS.- Simulation of a steam-boiler.- Steam-boiler control specification problem.