Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Nina Vladimirovna Evtushenko"'
Publikováno v:
Труды Института системного программирования РАН, Vol 31, Iss 4, Pp 175-188 (2019)
Finite State Machine (FSM) based approaches are widely used for deriving tests with guaranteed fault coverage for discrete event systems and as the behavior of many nowadays information and control systems depends on time, classical FSMs are extended
Externí odkaz:
https://doaj.org/article/d36a2519d0bf410c841a8b5c0ff9935d