Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs.

Natalia Kushik, Nina Yevtushenko, Hsn Yenign

Browse the full MODELSWARD paper archive.