Sign in

Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.

Stefan HaarJuraj KolcákLoïc Paulevé
Published in: VMCAI (2019)
Keyphrases
  • goal oriented
  • parametric models
  • requirements analysis
  • requirements engineering
  • dynamic model
  • data marts
  • process oriented
  • computational complexity
  • computational model
  • dynamical systems