UID:
kobvindex_ZLB15622754
Umfang:
X, 225 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783642332951
,
3642332951
Serie:
Lecture notes in computer science 7498
Anmerkung:
Literaturangaben
Sprache:
Englisch
Schlagwort(e):
Formale Methode
;
Verifikation
;
Softwaretest
;
Modellgetriebene Entwicklung
;
Fehlertoleranz
;
Kongress
;
Natal 〈Rio Grande do Norte, 2012〉
;
Kongress
;
Konferenzschrift