Formal Methods for Autonomous Vehicles
You are here
| Title | Formal Methods for Autonomous Vehicles |
| Publication Type | Journal Article |
| Year of Publication | 2024 |
| Authors | Provan G |
| Journal | IT Professional |
| Volume | 26 |
| Pagination | 50-56 |
| ISSN | 1941-045X |
| URL | https://doi.ieeecomputersociety.org/10.1109/MITP.2024.3356158 |
| DOI | 10.1109/MITP.2024.3356158 |
