JIN Xian-li, SUN Guo-zi, YANG Geng. The Methods of Forensic Model for Dynamic Behavior Based on Hierarchical Timed Automata[J]. Microelectronics & Computer, 2012, 29(11): 18-21.
Citation:
JIN Xian-li, SUN Guo-zi, YANG Geng. The Methods of Forensic Model for Dynamic Behavior Based on Hierarchical Timed Automata[J]. Microelectronics & Computer, 2012, 29(11): 18-21.
JIN Xian-li, SUN Guo-zi, YANG Geng. The Methods of Forensic Model for Dynamic Behavior Based on Hierarchical Timed Automata[J]. Microelectronics & Computer, 2012, 29(11): 18-21.
Citation:
JIN Xian-li, SUN Guo-zi, YANG Geng. The Methods of Forensic Model for Dynamic Behavior Based on Hierarchical Timed Automata[J]. Microelectronics & Computer, 2012, 29(11): 18-21.
The Methods of Forensic Model for Dynamic Behavior Based on Hierarchical Timed Automata
This paper proposes a new hierarchical forensic model for dynamic behavior.Firstly, it introduces the concept of hierarchical timed automata.Then, the formal model and its composition model for dynamic behavior are detailed.It also analyses the illegal behaviors in the composed model.
DownLoad: