The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
1995
|
| _version_ | 1826264929125007360 |
|---|---|
| author | Simpson, A |
| author_facet | Simpson, A |
| author_sort | Simpson, A |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T20:15:41Z |
| format | Book |
| id | oxford-uuid:2c1354d5-88c4-492e-b6f8-419c3292962e |
| institution | University of Oxford |
| last_indexed | 2024-03-06T20:15:41Z |
| publishDate | 1995 |
| record_format | dspace |
| spelling | oxford-uuid:2c1354d5-88c4-492e-b6f8-419c3292962e2022-03-26T12:34:42ZThe Application of Formal Methods to the Development of an ATP (Automatic Train Protection) SystemBookhttp://purl.org/coar/resource_type/c_2f33uuid:2c1354d5-88c4-492e-b6f8-419c3292962eDepartment of Computer Science1995Simpson, A |
| spellingShingle | Simpson, A The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System |
| title | The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System |
| title_full | The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System |
| title_fullStr | The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System |
| title_full_unstemmed | The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System |
| title_short | The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System |
| title_sort | application of formal methods to the development of an atp automatic train protection system |
| work_keys_str_mv | AT simpsona theapplicationofformalmethodstothedevelopmentofanatpautomatictrainprotectionsystem AT simpsona applicationofformalmethodstothedevelopmentofanatpautomatictrainprotectionsystem |