Critical systems validation and verification with CSP and FDR

Critical systems validation and verification with CSP and FDR

Bibliografiset tiedot
Päätekijät: Goldsmith, M, Zakiuddin, I
Aineistotyyppi: Conference item
Julkaistu: Springer Berlin/Heidelberg 1999

Samankaltaisia teoksia