Critical systems validation and verification with CSP and FDR

Critical systems validation and verification with CSP and FDR

Бібліографічні деталі
Автори: Goldsmith, M, Zakiuddin, I
Формат: Conference item
Опубліковано: Springer Berlin/Heidelberg 1999

Схожі ресурси