مؤتمر
Algebraic synthesis and verification of discrete supervisory controllers for forbidden path specifications
| العنوان: | Algebraic synthesis and verification of discrete supervisory controllers for forbidden path specifications |
|---|---|
| المؤلفون: | Hanisch, H.-M., Kowalewski, S. |
| المصدر: | Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology Computer integrated manufacturing and automation technology Computer Integrated Manufacturing and Automation Technology, 1994., Proceedings of the Fourth International Conference on. :157-162 1994 |
| Relation: | Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0818665106 9780818665103 |
|---|---|
| DOI: | 10.1109/CIMAT.1994.389079 |