Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Kamali, Maryam ORCID: 0000-0002-2789-6914, Dennis, Louise A ORCID: 0000-0003-1426-1896, McAree, Owen, Fisher, Michael and Veres, Sandor M (2017) Formal Verification of Autonomous Vehicle Platooning. Science of Computer Programming, 148. pp. 88-106.

This list was generated on Sat Feb 10 23:00:00 2024 GMT.