Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Aleksandr S. Tvardovskii"'
Publikováno v:
Моделирование и анализ информационных систем, Vol 24, Iss 4, Pp 496-507 (2017)
Nowadays, the behaviour of many systems can be properly described by taking into account time constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation methods to timed models. In this paper, we prop
Externí odkaz:
https://doaj.org/article/8c30b7b1dd934f96945a58ff291abf6e
