[IEEE 2019 IEEE 19th International Conference on Software...

  • Main
  • [IEEE 2019 IEEE 19th International...

[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, Dongfang
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2019
Language:
english
DOI:
10.1109/QRS-C.2019.00092
File:
PDF, 15.35 MB
english, 2019
Conversion to is in progress
Conversion to is failed