KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig am 12.10.2026 auf englische Krimis & Thriller (krimis-thriller-15521) online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel, Abos & Flatrates. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Hardware and Software: Verification and Testing
  • Produktbild: Hardware and Software: Verification and Testing
Band 8244

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.10.2013

Abbildungen

XX, 366 p. 147 illus.

Herausgeber

Valeria Bertacco + weitere

Verlag

Springer

Seitenzahl

366

Maße (L/B/H)

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

Gewicht

587 g

Sprache

Englisch

ISBN

978-3-319-03076-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

31.10.2013

Abbildungen

XX, 366 p. 147 illus.

Herausgeber

Verlag

Springer

Seitenzahl

366

Maße (L/B/H)

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

Gewicht

587 g

Sprache

Englisch

ISBN

978-3-319-03076-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: 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: Hardware and Software: Verification and Testing
  • Produktbild: Hardware and Software: Verification and Testing
  • Backbones for Equality.- PASS: String Solving with Parameterized Array and Interval Automaton.- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification of Programmable Logic Controller Code.- Modeling Firmware as Service Functions and Its Application to Test Generation.- Symbolic Model-Based Testing for Industrial Automation Software.- Online Testing of LTL Properties for Java Code.- Modbat: A Model-Based API Tester for Event-Driven Systems.- Predictive Taint Analysis for Extended Testing of Parallel Executions.- Continuous Integration for Web-Based Software Infrastructures: Lessons Learned on the webinos Project.- SLAM: SLice And Merge - Effective Test Generation for Large Systems.- Improving Post-silicon Validation Efficiency by Using Pre-generated Data.- Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors.- Assertion Checking Using Dynamic Inference.- Formal Specification of an Erase Block Management Layer for Flash Memory.- Attention-Based Coverage Metrics Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming.- Domain Types: Abstract-Domain Selection Based on Variable Usage.- Efficient Analysis of Reliability Architectures via Predicate Abstraction.- Lazy Symbolic Execution through Abstraction and Sub-space Search.- SPIN as a Linearizability Checker under Weak Memory Models.- Arithmetic Bit-Level Verification Using Network Flow Model.- Performance Evaluation of Process Partitioning Using Probabilistic Model Checking.- Improving Representative Computation in ExpliSAT.