Correctness of Vehicle Control Systems: A Case Study
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149823 |
| _version_ | 1826193713133518848 |
|---|---|
| author | Weinberg, Henri B. |
| author2 | Lynch, Nancy A. |
| author_facet | Lynch, Nancy A. Weinberg, Henri B. |
| author_sort | Weinberg, Henri B. |
| collection | MIT |
| first_indexed | 2024-09-23T09:43:36Z |
| id | mit-1721.1/149823 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T09:43:36Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1498232023-03-30T04:08:49Z Correctness of Vehicle Control Systems: A Case Study Weinberg, Henri B. Lynch, Nancy A. 2023-03-29T15:27:03Z 2023-03-29T15:27:03Z 1996-02 https://hdl.handle.net/1721.1/149823 MIT-LCS-TR-685 application/pdf |
| spellingShingle | Weinberg, Henri B. Correctness of Vehicle Control Systems: A Case Study |
| title | Correctness of Vehicle Control Systems: A Case Study |
| title_full | Correctness of Vehicle Control Systems: A Case Study |
| title_fullStr | Correctness of Vehicle Control Systems: A Case Study |
| title_full_unstemmed | Correctness of Vehicle Control Systems: A Case Study |
| title_short | Correctness of Vehicle Control Systems: A Case Study |
| title_sort | correctness of vehicle control systems a case study |
| url | https://hdl.handle.net/1721.1/149823 |
| work_keys_str_mv | AT weinberghenrib correctnessofvehiclecontrolsystemsacasestudy |