Login / Signup

From Graphical Representations to Formal Specifications and Return: Translation Algorithms in the Harmony.

Sergiu DascaluPeter HitchcockNarayan C. DebnathAndrew Klempau
Published in: IRI (2004)
Keyphrases
  • graphical representations
  • formal specification
  • computational complexity
  • case study
  • utility function
  • bayesian networks
  • video sequences