Umfang:
1 Online-Ressource (X, 366 S.)
,
graph. Darst.
ISBN:
9783642002540
,
9783642002557
Serie:
Lecture notes in computer science 5423
Anmerkung:
Literaturangaben
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Softwareentwicklung
;
Formale Methode
;
Systementwicklung
;
Formale Methode
;
Formale Methode
;
Spezifikationssprache
;
Verifikation
;
Model Checking
;
Formale Methode
;
Konferenzschrift
DOI:
10.1007/978-3-642-00255-7