Critical systems validation and verification with CSP and FDR

Critical systems validation and verification with CSP and FDR

Bibliographic Details
Main Authors: Goldsmith, M, Zakiuddin, I
Format: Conference item
Published: Springer Berlin/Heidelberg 1999
Description
Summary:

Similar Items