Model-based stabilization of vortex shedding with CFD verification.

Milan Milovanovic Marek Grayer Joris Michielsen Ole Morten Aamo

Published in: CDC (2009)

Keyphrases

model checking
velocity field
face verification
formal verification
optical fiber
data sets
case study
functional verification
e learning
multiscale
video sequences
data driven
high density
formal analysis
person identification
asynchronous circuits