Formal Parametric Equations.

G. S. Makanin Habib Abdulrab M. N. Maksimenko

Published in: FCT (1995)

Keyphrases

mathematical model
formal model
real world
parametric models
real time
image processing
case study
similarity measure
differential equations
formal specification
operational semantics
finite difference