Critical systems validation and verification with CSP and FDR

Critical systems validation and verification with CSP and FDR

Bibliografiska uppgifter
Huvudupphovsmän: Goldsmith, M, Zakiuddin, I
Materialtyp: Conference item
Publicerad: Springer Berlin/Heidelberg 1999

Liknande verk