검색결과 : 2건
| 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 |
| 2 |
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph Wang X, Mahulea C, Silva M IEEE Transactions on Automatic Control, 60(9), 2321, 2015 |