Vor Ort
Merkzettel Warenkorb
  • Produktbild: FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
  • Produktbild: FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
Band 1313

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings.

Aus der Reihe Lecture Notes in Computer Science

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.09.1997

Herausgeber

John Fitzgerald + weitere

Verlag

Springer Berlin

Seitenzahl

694

Maße (L/B/H)

23,5/15,5/3,7 cm

Gewicht

1057 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63533-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.09.1997

Herausgeber

Verlag

Springer Berlin

Seitenzahl

694

Maße (L/B/H)

23,5/15,5/3,7 cm

Gewicht

1057 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-63533-8

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: FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
  • Produktbild: FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
  • Diagrams and programming languages for programmable controllers.- Graphical specification and reasoning: Case study generalised railroad crossing.- A graphic notation for formal specifications of dynamic systems.- A semantic integration of object-Z and CSP for the specification of concurrent systems.- Class refinement and interface refinement in object-oriented programs.- Formalizing requirements for distributed systems with trace diagrams.- Consistent graphical specification of distributed systems.- Design of reactive control systems for event-driven operations.- An M-Net semantics for a real-time extension of µSDL.- Reconciling real-time with asynchronous message passing.- Specifying the remote controlling of valves in an explosion test environment.- PICGAL: Practical use of formal specification to develop a complex critical system.- Mathematical modeling and analysis of an external memory manager.- Automatic translation of VDM-SL specifications into gofer.- Towards an Integrated CASE and theorem proving tool for VDM-SL.- Specification of required non-determinism.- A corrected failure-divergence model for CSP in Isabelle/HOL.- A proof obligation generator for VDM-SL.- Verification of cryptographic protocols: An experiment.- TLA + PROMELA: Conjecture, check, proof.- A TLA solution to the specification and verification of the RLP1 retransmission protocol.- An efficient technique for deadlock analysis of large scale process networks.- Implementing a model checker for LEGO.- Formal verification of transformations for peephole optimization.- A meta-method for formal method integration.- Reuse of verified design templates through extended pattern matching.- A compositional proof system for shared variable concurrency.- A framework for modular formal specification and verification.- A timed semantics for the StateMate implementation of statecharts.- Using PVS to prove a Z refinement: A case study.- Verification of reactive systems using DisCo and PVS.- Term rewrite systems to derive set boolean operations on 2D objects.- A normal form reduction strategy for hardware/software partitioning.- Viewpoint consistency in Z and LOTOS: A case study.- A UNITY mapping operator for distributed programs.