Introduces the notion of Finite Precision Timed Automata (FPTA) and focuses on the representation of clocks in a state.

简要介绍了有限精度时间自动机(FPTA)的基本概念，重点讨论FPTA状态中时钟的表示。

youdao

Introduces the notion of Finite Precision Timed Automata (FPTA) and focuses on the representation of clocks in a state.

简要介绍了有限精度时间自动机(FPTA)的基本概念，重点讨论FPTA状态中时钟的表示。

youdao