FORMALISATION AND ALGORITHMIC APPROACH TO THE AUTOMATED DRIVING VALIDATION PROBLEM
IEEE intelligent vehicles symposium
01.01.2019
7 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formalisation of the multigrid computations
British Library Online Contents | 2013
|Aspects of formalisation in requirements engineering
Tema Archiv | 2007
|Formalisation of the multigrid computations
British Library Online Contents | 2013
|Systematic Validation for Automated Driving
Springer Verlag | 2021
|