Synchronizing Sequences For Verification Of Finite State Machines

التفاصيل البيبلوغرافية
العنوان: Synchronizing Sequences For Verification Of Finite State Machines
المؤلفون: Miroshnyk, Maryna, Shkil, Olexander, Kulak, Elvira, Rakhlis, Dariia, Pahomov, Yurii, Miroshnyk, Anatolii
المصدر: 2019 International Conference on Information and Telecommunication Technologies and Radio Electronics (UkrMiCo) Information and Telecommunication Technologies and Radio Electronics (UkrMiCo), 2019 International Conference on. :1-5 Sep, 2019
Relation: 2019 International Conference on Information and Telecommunication Technologies and Radio Electronics (UkrMiCo)
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:9781728126920
DOI:10.1109/UkrMiCo47782.2019.9165509