검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Diagnosis of asynchronous discrete-event systems: A net unfolding approach Benveniste A, Fabre E, Haar S, Jard C IEEE Transactions on Automatic Control, 48(5), 714, 2003 |
| 2 |
Markov nets: Probabilistic models for distributed and concurrent systems Benveniste A, Fabre E, Haar S IEEE Transactions on Automatic Control, 48(11), 1936, 2003 |