2016年10月6日木曜日

2016/10/06

In order to learn DBM that is used in the implementation of Zone Graph, I am reading Timing assumptions and verification of finite-state concurrent systems. This paper is written before A theory of timed automata. Therefore the dense time model was new and the automaton representing the system is a subset of the timed automaton.

0 件のコメント:

コメントを投稿