Login / Signup

Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models.

Hayssam SoueidanGrégoire SutreMacha Nikolski
Published in: CMSB (2009)
Keyphrases
  • dynamic model
  • transition systems
  • experimental data
  • model checking
  • qualitative simulation
  • concurrent systems
  • temporal logic
  • steady state
  • finite state
  • multiple models