검색결과 : 1건
| No. | Article |
|---|---|
| 1 |
Quantitative Temporal Simulation and Refinement Distances for Timed Systems Chatterjee K, Prabhu VS IEEE Transactions on Automatic Control, 60(9), 2291, 2015 |
| No. | Article |
|---|---|
| 1 |
Quantitative Temporal Simulation and Refinement Distances for Timed Systems Chatterjee K, Prabhu VS IEEE Transactions on Automatic Control, 60(9), 2291, 2015 |