Timed Tuplix Calculus and the Wesseling and van den Bergh Equation.

Jan A. Bergstra Cornelis A. Middelburg

Published in: Sci. Ann. Comput. Sci. (2013)

Keyphrases

timed automata
model checking
petri net
numerical solution
first order logic
discrete event
theorem proving
numerical methods
velocity field
colored petri nets
provably correct
algebraic structure
automated deduction
matrix inversion
data sets
level set
image segmentation
computer vision