Vor Ort
Merkzettel Warenkorb
  • Produktbild: Runtime Verification
  • Produktbild: Runtime Verification

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.09.2009

Herausgeber

Saddek Bensalem + weitere

Verlag

Springer Berlin

Seitenzahl

203

Maße (L/B/H)

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

Gewicht

332 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-04693-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.09.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

203

Maße (L/B/H)

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

Gewicht

332 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-04693-3

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: Runtime Verification
  • Produktbild: Runtime Verification
  • Rule Systems for Runtime Verification: A Short Tutorial.- Verification, Testing and Statistics.- Type-Separated Bytecode – Its Construction and Evaluation.- Runtime Verification of Safety-Progress Properties.- Monitor Circuits for LTL with Bounded and Unbounded Future.- State Joining and Splitting for the Symbolic Execution of Binaries.- The LIME Interface Specification Language and Runtime Monitoring Tool.- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.- Runtime Verification of C Memory Safety.- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis.- Hardware Supported Flexible Monitoring: Early Results.- DMaC: Distributed Monitoring and Checking.