%0 Journal Article %1 journals/itpro/Provan24 %A Provan, Gregory M. %D 2024 %J IT Prof. %K dblp %N 1 %P 50-56 %T Formal Methods for Autonomous Vehicles. %U http://dblp.uni-trier.de/db/journals/itpro/itpro26.html#Provan24 %V 26

@article{journals/itpro/Provan24, added-at = {2024-04-01T00:00:00.000+0200}, author = {Provan, Gregory M.}, biburl = {https://www.bibsonomy.org/bibtex/2311ad5df0f18b7a3034fd03b57b75643/dblp}, ee = {https://doi.org/10.1109/MITP.2024.3356158}, interhash = {1efa1d8722976a687fdcab411140f46d}, intrahash = {311ad5df0f18b7a3034fd03b57b75643}, journal = {IT Prof.}, keywords = {dblp}, month = {January - February}, number = 1, pages = {50-56}, timestamp = {2024-04-08T14:21:28.000+0200}, title = {Formal Methods for Autonomous Vehicles.}, url = {http://dblp.uni-trier.de/db/journals/itpro/itpro26.html#Provan24}, volume = 26, year = 2024 }