![](/img/cover-not-exists.png)
[IEEE 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Sofia, Bulgaria (2019.7.22-2019.7.26)] 2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C) - Formal Verification Technology for Asynchronous Communication Protocol
Hu, Yayun, Li, DongfangYear:
2019
Language:
english
DOI:
10.1109/QRS-C.2019.00092
File:
PDF, 15.35 MB
english, 2019