Critical systems validation and verification with CSP and FDR

Critical systems validation and verification with CSP and FDR

Bibliographische Detailangaben
Hauptverfasser: Goldsmith, M, Zakiuddin, I
Format: Conference item
Veröffentlicht: Springer Berlin/Heidelberg 1999

Ähnliche Einträge