A derivation of system specifications based on a partial logical Petri net

التفاصيل البيبلوغرافية
العنوان: A derivation of system specifications based on a partial logical Petri net
المؤلفون: Togashi, A., Usui, N., Song, K., Shiratori, N.
المصدر: 1995 IEEE International Symposium on Circuits and Systems (ISCAS) Circuits and systems Circuits and Systems (ISCAS), 1995 IEEE International Symposium on. 1:521-524 vol.1 1995
Relation: 1995 IEEE International Symposium on Circuits and Systems (ISCAS)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:0780325702
9780780325708
DOI:10.1109/ISCAS.1995.521565