مؤتمر
Formal specification and validation of a static FIFO queue model using coloured Petri nets
| العنوان: | Formal specification and validation of a static FIFO queue model using coloured Petri nets |
|---|---|
| المؤلفون: | Columbo, A.W., Martinez, J., Kuchen, B. |
| المصدر: | Proceedings of 1994 IEEE International Symposium on Industrial Electronics (ISIE'94) Industrial electronics Industrial Electronics, 1994. Symposium Proceedings, ISIE '94., 1994 IEEE International Symposium on. :231-235 1994 |
| Relation: | Proceedings of 1994 IEEE International Symposium on Industrial Electronics (ISIE'94) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0780319613 9780780319615 |
|---|---|
| DOI: | 10.1109/ISIE.1994.333113 |