Please use this identifier to cite or link to this item:
https://doi.org/10.1109/tse.2020.2996033
| Title: | Quantitative Verification for Monitoring Event-Streaming Systems | Authors: | Su, Guoxin Liu, Li Zhang, Minjie Rosenblum, David |
Issue Date: | 2020 | Publisher: | Institute of Electrical and Electronics Engineers (IEEE) | Citation: | Su, Guoxin, Liu, Li, Zhang, Minjie, Rosenblum, David (2020). Quantitative Verification for Monitoring Event-Streaming Systems. IEEE Transactions on Software Engineering : 1-1. ScholarBank@NUS Repository. https://doi.org/10.1109/tse.2020.2996033 | Source Title: | IEEE Transactions on Software Engineering | URI: | https://scholarbank.nus.edu.sg/handle/10635/173150 | ISSN: | 00985589 23263881 |
DOI: | 10.1109/tse.2020.2996033 |
| Appears in Collections: | Staff Publications Elements |
Show full item record
Files in This Item:
| File | Description | Size | Format | Access Settings | Version | |
|---|---|---|---|---|---|---|
| ieeetse2020-preprint.pdf | Accepted version | 6.17 MB | Adobe PDF | CLOSED | None |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.