KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 03.11.2026 auf fremdsprachige Bücher online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. 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: Formal Approaches to Software Testing and Runtime Verification
  • Produktbild: Formal Approaches to Software Testing and Runtime Verification
Band 4262

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2006

Abbildungen

VIII, 255 p.

Herausgeber

Klaus Havelund + weitere

Verlag

Springer Berlin

Seitenzahl

255

Maße (L/B/H)

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

Gewicht

417 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-49699-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2006

Abbildungen

VIII, 255 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

255

Maße (L/B/H)

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

Gewicht

417 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-49699-1

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: Formal Approaches to Software Testing and Runtime Verification
  • Produktbild: Formal Approaches to Software Testing and Runtime Verification
  • Invited Talks.- Multi-paradigmatic Model-Based Testing.- Aspects for Trace Monitoring.- Regular Papers.- A Symbolic Framework for Model-Based Testing.- A Test Calculus Framework Applied to Network Security Policies.- Hybrid Input-Output Conformance and Test Generation.- Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.- Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems.- Model-Based Testing of Thin-Client Web Applications.- Synthesis of Scenario Based Test Cases from B Models.- State-Identification Problems for Finite-State Transducers.- Deterministic Dynamic Monitors for Linear-Time Assertions.- Robustness of Temporal Logic Specifications.- Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.- Dynamic Architecture Extraction.- Safety Property Driven Test Generation from JML Specifications.- Online Testing with Reinforcement Learning.