title   
  

Creator/Author/Editor: Lonetti, F.

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 Mon Oct 16 02:50:22 2017 +03.