KI-Beratung Beta
Vor Ort
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

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.10.1996

Abbildungen

IX, 523 p.

Herausgeber

Jean-Raymond Abrial + weitere

Verlag

Springer Berlin

Seitenzahl

523

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

785 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61929-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.10.1996

Abbildungen

IX, 523 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

523

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

785 g

Auflage

1996

Sprache

Englisch

ISBN

978-3-540-61929-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.