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 Mon Nov 8 13:57:39 2021 GMT.