Formal modeling for consistency checking of signal transition graph

التفاصيل البيبلوغرافية
العنوان: Formal modeling for consistency checking of signal transition graph
المؤلفون: Boonroeangkaow, Kanut, Thongtak, Arthit, Vatanawood, Wiwat
المصدر: 2017 11th International Conference on Telecommunication Systems Services and Applications (TSSA) Telecommunication Systems Services and Applications (TSSA), 2017 11th International Conference on. :1-5 Oct, 2017
Relation: 2017 11th International Conference on Telecommunication Systems Services and Applications (TSSA)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9781538635469
DOI:10.1109/TSSA.2017.8272932