مؤتمر
Diagnosability verification for hybrid automata and durational graphs
| العنوان: | Diagnosability verification for hybrid automata and durational graphs |
|---|---|
| المؤلفون: | Benedetto, D., Di Gennaro, S., D'Innocenzo, A. |
| المصدر: | 2007 46th IEEE Conference on Decision and Control Decision and Control, 2007 46th IEEE Conference on. :1789-1794 Dec, 2007 |
| Relation: | 2007 46th IEEE Conference on Decision and Control |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781424414970 9781424414987 |
|---|---|
| تدمد: | 01912216 |
| DOI: | 10.1109/CDC.2007.4435038 |