Items where Author is "Marchetti, E."

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