Conference
Runtime Verification of Interleaved Concurrent Systems with Shared-Variable Communication
| Τίτλος: | Runtime Verification of Interleaved Concurrent Systems with Shared-Variable Communication |
|---|---|
| Συγγραφείς: | Alshammari, Nayef H. |
| Πηγή: | 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) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798331544973 9798331544980 |
|---|---|
| ISSN: | 28363795 28363787 |
| DOI: | 10.1109/COMPSAC69091.2026.00286 |