Static analysis and dynamic steering of time-dependent systems.
An enumerative technique is presented which supports reachability and timeliness analysis of time-dependent models. The technique assumes a dense model of time and uses equivalence classes to enable discrete and compact enumeration of the state space. Properties of timed reachability among states ar...
| 出版年: | IEEE Transactions on software engineering 27, 8 (2001). |
|---|---|
| 第一著者: | |
| フォーマット: | 論文 |
| 言語: | English |
| 主題: |