KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Integrated Formal Methods
  • Produktbild: Integrated Formal Methods
Band 2335

Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.05.2002

Abbildungen

X, 401 p.

Herausgeber

Michael Butler + weitere

Verlag

Springer Berlin

Seitenzahl

401

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

628 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43703-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.05.2002

Abbildungen

X, 401 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

401

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

628 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43703-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Integrated Formal Methods
  • Produktbild: Integrated Formal Methods
  • Invited Talk: Eran Gery.- Rhapsody: A Complete Life-Cycle Model-Based Development System.- Integration, Simulation, Animation.- An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation.- Stochastic Process Algebras Meet Eden.- From Specifcation to Verifcation.- From Implicit Specifications to Explicit Designs in Reactive System Development.- Basic-REAL: Integrated Approach for Design, Specification and Verification of Distributed Systems.- Assume-Guarantee Algorithms for Automatic Detection of Software Failures.- Statecharts and B: Integration and Translation.- Contributions for Modelling UML State-Charts in B.- Translating Statecharts to B.- Invited Talk: Shmuel Katz.- A Framework for Translating Models and Specifications.- Model Checkers and Theorem Provers.- Model Checking Object-Z Using ASM.- Formalization of Cadence SPW Fixed-Point Arithmetic in HOL.- Formally Linking MDG and HOL Based on a Verified MDG System.- Links between Object-Z and CSP.- Refinement in Object-Z and CSP.- Combining Specification Techniques for Processes, Data and Time.- An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems.- Invited Talk: Stuart Kent.- Model Driven Engineering.- Combining Graphical and Formal Approaches.- The Design of a Tool-Supported Graphical Notation for Timed CSP.- Combining Graphical and Formal Development of Open Distributed Systems.- Translations between Textual Transition Systems and Petri Nets.- Refinement and Proof.- Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems.- Minimally and Maximally Abstract Retrenchments.