Merkzettel Warenkorb
  • Produktbild: Formal Methods and Software Engineering
  • Produktbild: Formal Methods and Software Engineering
Band 5256

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.2013

Abbildungen

XVIII, 136 illus., schwarz-weiss Illustrationen

Herausgeber

Lindsay Groves + weitere

Verlag

Springer Berlin

Seitenzahl

466

Maße (L/B/H)

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

Gewicht

735 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-41201-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.09.2013

Abbildungen

XVIII, 136 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

466

Maße (L/B/H)

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

Gewicht

735 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-41201-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Formal Methods and Software Engineering
  • Produktbild: Formal Methods and Software Engineering
  • Keynote.- Lattices of Information for Security: Deterministic, Demonic, Probabilistic.- Specification.- Algebraic Laws for Process Subtyping.- Boundness Issues in CCSL Specifications.- Mining Dataflow Sensitive Specifications.- Proof.- A Proof Slicing Framework for Program Verification.- Formally Verified System Initialisation.- Verifying an Aircraft Proximity Characterization Method in Coq.- Testing.- Assisting Specification Refinement by Random Testing.- Generation of Checking Sequences Using Identification Sets.- The Circus Testing Theory Revisited in Isabelle/HOL.- Timed Systems.- A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification.- Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts.- Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.- Concurrency.- A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.- A UTP Semantics for Communicating Processes with Shared Variables.- Verification of Static and Dynamic Barrier Synchronization Using- Bounded Permissions.- SysML/MDD.- Formal Models of SysML Blocks.- Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML .- Translation from Workflow Nets to MSVL.- Verification.- Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems.- Verification of Functional and Non-functional Requirements of Web Service Composition.- vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems.- Application.- Formal Kinematic Analysis of the Two-Link Planar Manipulator.- Formal Modelling of Resilient Data Storage in Cloud.- Linking Operational Semantics and Algebraic Semantics for Wireless Networks.- Static Analysis.- Automated Specification Discovery via User-Defined Predicates.- Path-Sensitive Data Flow Analysis Simplified.- Reconstructing Paths for Reachable Code.- The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software.