Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Natalia Kushik, Nina Yevtushenko, Hüsnü Yenigün. Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. In Antonello Calabrò, Francesca Lonetti, Eda Marchetti, editors, Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016. pages 83-90, SciTePress, 2016. [doi]

This author has not been identified. Look up 'Natalia Kushik' in GoogleThis author has not been identified. Look up 'Nina Yevtushenko' in GoogleThis author has not been identified. Look up 'Hüsnü Yenigün' in Google

runs on WebDSL