Critical systems validation and verification with CSP and FDR

Critical systems validation and verification with CSP and FDR

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Goldsmith, M, Zakiuddin, I
Μορφή: Conference item
Έκδοση: Springer Berlin/Heidelberg 1999

Παρόμοια τεκμήρια