Critical systems validation and verification with CSP and FDR

Critical systems validation and verification with CSP and FDR

Bibliografske podrobnosti
Main Authors: Goldsmith, M, Zakiuddin, I
Format: Conference item
Izdano: Springer Berlin/Heidelberg 1999

Podobne knjige/članki