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

Նմանատիպ նյութեր