Critical systems validation and verification with CSP and FDR

Critical systems validation and verification with CSP and FDR

Detalles Bibliográficos
Autores principales: Goldsmith, M, Zakiuddin, I
Formato: Conference item
Publicado: Springer Berlin/Heidelberg 1999

Ejemplares similares