UID:
kobvindex_ZLB13453156
Format:
XI, 368 Seiten
,
graph. Darst.
,
24 cm
ISBN:
3540001417
Series Statement:
Lecture notes in computer science 2529
Note:
Text engl.
Language:
English
Keywords:
Verteiltes System
;
Formale Methode
;
Kongress
;
Houston 〈Tex., 2002〉
;
Telekommunikationsnetz
;
Kommunikationsprotokoll
;
Kongress
;
Houston 〈Tex., 2002〉
;
Rechnernetz
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
Kongress
;
Houston 〈Tex., 2002〉
;
Software
;
Testen
;
Formale Methode
;
Kongress
;
Houston 〈Tex., 2002〉
;
Model Checking
;
Kongress
;
Houston 〈Tex., 2002〉
;
Kongress
;
Konferenzschrift
Author information:
Peled, Doron