Vor Ort
Merkzettel Warenkorb
Produktbild: Formal Methods for Components and Objects
Band 6957

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.12.2011

Abbildungen

VII, 145 illus., schwarz-weiss Illustrationen

Herausgeber

Bernhard K. Aichernig + weitere

Verlag

Springer Berlin

Seitenzahl

393

Maße (L/B/H)

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

Gewicht

607 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-25270-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.12.2011

Abbildungen

VII, 145 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

393

Maße (L/B/H)

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

Gewicht

607 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-25270-9

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
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: Formal Methods for Components and Objects

  • ASLan++ — A formal security specification language for distributed Systems.- Orchestration under Security Constraints.- Customizing protocol specifications for detecting resource exhaustion and guessing attacks.- ving the Usability of Specification Languages and Methods for Annotation-based Verification.- Program Specialization Via a Software Verification Tool.- Model–Based Analysis Tools for Component Synthesis.- Shared Event Composition/Decomposition in Event-B.- ABS: A Core Language for Abstract Behavioral Specification.- A Component Model for the ABS Language.- Compositional Algorithmic Verification of Software Product Lines.- Variability Modelling in the ABS Language.- Automated Verification of Executable UML Models.- Verification of UML models by translation to UML-B.- Towards the UML-based Formal Verification of Timed Systems.- Generic Fault Modelling for Fault Injection.- Tightening Test Coverage Metrics:A Case Study in Equivalence Checking using k-Induction.- The Hierarchical Compositional Interchange Format.- Application of Model-Checking Technology to Controller Synthesis.- Testing Real-time Systems under Uncertainty.- Model-Checking and Simulation for Stochastic Timed Systems.