The problem of verification with reference to the Girkmann problem.

Barna A. Szabó Ivo Babuska Juhani Pitkäranta Sebastian Nervi

Published in: Eng. Comput. (2010)

Keyphrases

model checking
data sets
reference frame
concurrent systems
real time
image processing
image segmentation
motion estimation
formal verification
functional verification