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

Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn ◽

10.5220/0005854500830090 ◽

2016 ◽

Cited By ~ 2

Author(s):

Natalia Kushik ◽

Nina Yevtushenko ◽

Husnu Yenigun

Download Full-text