|
|
|
|
|
Ting Wang, Yan Shen, Tieming Chen, Baiyang Ji, Tiantian Zhu and Mingqi Lv
The language inclusion checking of timed automata is described as the following: given two timed automata M and N, where M is a system model and N is a specification model (which represents the properties that the system needs to satisfy), check whether ...
ver más
|
|
|
|
|