Browse by People


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


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

This list was generated on Tue Nov 24 18:47:48 2020 GMT.