title
  

Creator/Author/Editor: Marchetti, E.

Warning The system is temporarily closed to updates for reporting purpose.

2016

Kushik, Natalia and Yevtushenko, Nina and Yenigün, Hüsnü (2016) Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs. In: 1st International Workshop on domAin Specific Model-Based AppRoaches to vErificaTion and validaTiOn, Rome, Italy

This list was generated on Sun Nov 28 17:31:31 2021 +03.