Critical systems validation and verification with CSP and FDR
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Springer Berlin/Heidelberg
1999
|
| _version_ | 1826282503984381952 |
|---|---|
| author | Goldsmith, M Zakiuddin, I |
| author_facet | Goldsmith, M Zakiuddin, I |
| author_sort | Goldsmith, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T00:44:51Z |
| format | Conference item |
| id | oxford-uuid:8440a02b-919d-4759-9f5f-780ce7cc9be6 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T00:44:51Z |
| publishDate | 1999 |
| publisher | Springer Berlin/Heidelberg |
| record_format | dspace |
| spelling | oxford-uuid:8440a02b-919d-4759-9f5f-780ce7cc9be62022-03-26T21:50:01ZCritical systems validation and verification with CSP and FDRConference itemhttp://purl.org/coar/resource_type/c_5794uuid:8440a02b-919d-4759-9f5f-780ce7cc9be6Department of Computer ScienceSpringer Berlin/Heidelberg1999Goldsmith, MZakiuddin, I |
| spellingShingle | Goldsmith, M Zakiuddin, I Critical systems validation and verification with CSP and FDR |
| title | Critical systems validation and verification with CSP and FDR |
| title_full | Critical systems validation and verification with CSP and FDR |
| title_fullStr | Critical systems validation and verification with CSP and FDR |
| title_full_unstemmed | Critical systems validation and verification with CSP and FDR |
| title_short | Critical systems validation and verification with CSP and FDR |
| title_sort | critical systems validation and verification with csp and fdr |
| work_keys_str_mv | AT goldsmithm criticalsystemsvalidationandverificationwithcspandfdr AT zakiuddini criticalsystemsvalidationandverificationwithcspandfdr |