Vor Ort
Merkzettel Warenkorb
Produktbild: Integrated Formal Methods
Band 8739

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.09.2014

Abbildungen

XII, 125 illus., schwarz-weiss Illustrationen

Herausgeber

Elvira Albert + weitere

Verlag

Springer

Seitenzahl

390

Maße (L/B/H)

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

Gewicht

610 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-319-10180-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.09.2014

Abbildungen

XII, 125 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

390

Maße (L/B/H)

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

Gewicht

610 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-319-10180-4

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

  • Shape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures.- How to Break the Bank: Semantics of Capability Policies.- Model-Checking Circus State-Rich Specifications.- An Interactive Verification Tool Meets an IDE.- An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems.- Modeling UML Template Classes with FoCaLiZe.- Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.- Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems.- Verifying Behavioral UML Systems via CEGAR.- Formal Refinement in SysML.- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs and Refutations in Invariant-Based Programming.- Automated Theorem Prover Assisted Program Calculations.- Managing LTL Properties in Event-B Refinement.- Formal Security Analysis of the MaCAN Protocol.- A Probabilistic Framework for Security Scenarios with Dependent Actions.- A Hybrid Analysis for Security Protocols with State.- Towards a Formal Semantics-Based Technique for Interprocedural Slicing.- Integrating Software and Hardware Verification.- Code Generation for Event-B.- Verifying Linearizability on TSO Architectures.- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset.- A Separation Principle for Embedded System Interfacing.