HIL Based Solution for ADAS Software Development and Verification.

Uros Zivkovic Ognjen Dekic Zeljko Lukac Milena Milosevic

Published in: ICCE-Berlin (2019)

Keyphrases

software development
software engineering
optimal solution
linear equations
databases
search algorithm
multi objective
linear programming
software systems
formal methods
signature verification