Conference
Runtime Verification of Interleaved Concurrent Systems with Shared-Variable Communication
| Title: | Runtime Verification of Interleaved Concurrent Systems with Shared-Variable Communication |
|---|---|
| Authors: | Alshammari, Nayef H. |
| Source: | 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC) COMPSAC Computers, Software, and Applications Conference (COMPSAC), 2026 IEEE 50th Annual. :1959-1966 Jul, 2026 |
| Relation: | 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798331544973 9798331544980 |
|---|---|
| ISSN: | 28363795 28363787 |
| DOI: | 10.1109/COMPSAC69091.2026.00286 |