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 SizeFormatAccess SettingsVersion 
ieeetse2020-preprint.pdfAccepted version6.17 MBAdobe PDF

CLOSED

None

Page view(s)

113
checked on Oct 14, 2021

Download(s)

11
checked on Oct 14, 2021

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.