About this document
Theoretical Aspects of Computing ICTAC 2020 17th International Colloquium Macau China November 30 December 4 2020 Proceedings Violet Ka I Pun Ebook Concise Edition by brsxygfmjx8258 is a document available to read on EtoBox.
The document is the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020) held in Macau, China, from November 30 to December 4, 2020. It includes various research papers discussing topics such as Boolean state separation, flight rule checking for spacecraft, and runtime verification using the TraceContract tool. The proceedings highlight advancements in computational theory and practical applications in software verification and monitoring.
- Author
- brsxygfmjx8258
- Language
- EN