Formal approaches to software testing and runtime verification: first combined international worksho… - SLUB Dresden

Medientyp: Buch; Konferenzbericht

Titel: 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

Beteiligte: Havelund, Klaus [Herausgeber:in]

Veranstaltung: FATES International Workshop on Runtime Verification

Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2006

Umfang: VIII, 253 S.; graph. Darst; 235 mm x 155 mm

Sprache: Englisch

ISBN: 3540496998; 9783540496991

Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 11940197

RVK-Notation: SS 4800 : Lecture notes in computer science

Schlagwörter: Softwaretest > Formale Methode
Software > Model Checking > Testmustergenerierung
Echtzeitsystem > Formale Spezifikationstechnik > Verifikation
Software > Testen > Formale Methode
Software > Model Checking > Testmustergenerierung
Echtzeitsystem > Formale Spezifikationstechnik > Verifikation

Entstehung:

Anmerkungen: Literaturangaben

Weitere Bestandsnachweise
0 : Lecture notes in computer science

Formal approaches to software testing and runtime verification

Merkliste

Exemplare

Bereichsbibliothek DrePunct – Magazin

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Bereichsbibliothek DrePunct – Magazin