Format:
XI, 368 S.
,
graph. Darst.
,
24 cm
ISBN:
3540001417
Series Statement:
Lecture notes in computer science 2529
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Peled, Doron, 1962 - Formal Techniques for Networked and Distributed Sytems — FORTE 2002 Berlin, Heidelberg : IFIP International Federation for Information Processing, 2002 ISBN 9783540361350
Additional Edition:
ISBN 3540001417
Language:
English
Subjects:
Computer Science
Keywords:
Verteiltes System
;
Formale Methode
;
Telekommunikationsnetz
;
Kommunikationsprotokoll
;
Rechnernetz
;
Softwarespezifikation
;
Formale Spezifikationstechnik
;
Software
;
Testen
;
Formale Methode
;
Model Checking
;
Konferenzschrift
Author information:
Peled, Doron 1962-