Vor Ort
Merkzettel Warenkorb
  • Produktbild: Integrated Formal Methods
  • Produktbild: Integrated Formal Methods
Band 2335

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.05.2013

Abbildungen

XIV, 95 illus., schwarz-weiss Illustrationen

Herausgeber

Einar Broch Johnsen + weitere

Verlag

Springer Berlin

Seitenzahl

443

Maße (L/B/H)

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

Gewicht

692 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-38612-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.05.2013

Abbildungen

XIV, 95 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

443

Maße (L/B/H)

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

Gewicht

692 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-38612-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: Integrated Formal Methods
  • Produktbild: Integrated Formal Methods

  • From Z to B and then Event-B: Assigning Proofs to Meaningful Programs.- Systems Design Guided by Progress Concerns.- Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement.- Translating VDM to Alloy.- Verification of EB3 Specifications Using CADP.- Knowledge for the Distributed Implementation of Constrained Systems.- Automated Anonymity Verification of the ThreeBallot Voting System.- Compositional Verification of Software Product Lines.- Deductive Verification of State-Space Algorithms.- Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus.- Priced Timed Automata and Statistical Model Checking.- Improved Reachability Analysis in DTMC via Divide and Conquer.- Solving Games Using Incremental Induction.- Model-Checking Software Library API Usage Rules.- Formal Modelling and Verification of Population Protocols.- Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing.- Integrating Formal Predictions of Interactive System Behaviour with User Evaluation.- Automatic Inference of Erlang Module Behaviour.- Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms.- Quantified Abstractions of Distributed Systems.- An Algebraic Theory for Web Service Contracts.- A Compositional Automata-Based Semantics for Property Patterns.- A Formal Semantics for Complete UML State Machines with Communications.- From Small-Step Semantics to Big-Step Semantics, Automatically.- Program Equivalence by Circular Reasoning.- Structural Transformations for Data-Enriched Real-Time Systems.- Deadlock Analysis of Concurrent Objects: Theory and Practice.- Broadcast, Denial-of-Service, and Secure Communication.- Characterizing Fault-Tolerant Systems by Means of Simulation Relations.