Simulation-based verification of system requirements: An integrated solution.

Francesco Aiello Alfredo Garro Yves Lemmens Stefan Dutré

Published in: ICNSC (2017)

Keyphrases

model checking
databases
genetic algorithm
optimal solution
computer vision
video sequences
search algorithm
user requirements
formal verification