Vor Ort
Merkzettel Warenkorb
Produktbild: Hardware and Software, Verification and Testing
Band 3875

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.04.2006

Abbildungen

X, 270 p.

Herausgeber

Shmuel Ur + weitere

Verlag

Springer Berlin

Seitenzahl

270

Maße (B/H)

15,5/23,5 cm

Gewicht

442 g

Sprache

Englisch

ISBN

978-3-540-32604-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.04.2006

Abbildungen

X, 270 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

270

Maße (B/H)

15,5/23,5 cm

Gewicht

442 g

Sprache

Englisch

ISBN

978-3-540-32604-5

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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: Hardware and Software, Verification and Testing
  • Hardware Verification.- Path-Based System Level Stimuli Generation.- The Safety Simple Subset.- A Case for Runtime Validation of Hardware.- Assertion-Based Verification for the SpaceCAKE Multiprocessor – A Case Study.- Simultaneous SAT-Based Model Checking of Safety Properties.- HaifaSat: A New Robust SAT Solver.- Software Testing.- Production-Testing of Embedded Systems with Aspects.- Assisting the Code Review Process Using Simple Pattern Recognition.- An Extensible Open-Source Compiler Infrastructure for Testing.- Effective Black-Box Testing with Genetic Algorithms.- Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains.- Benchmarking and Testing OSD for Correctness and Compliance.- PADTAD.- A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems.- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.- Dynamic Deadlock Analysis of Multi-threaded Programs.- Verification of the Java Causality Requirements.- Choosing Among Alternative Futures.