Please use this identifier to cite or link to this item: https://doi.org/10.1109/tse.2020.2996033
DC FieldValue
dc.titleQuantitative Verification for Monitoring Event-Streaming Systems
dc.contributor.authorSu, Guoxin
dc.contributor.authorLiu, Li
dc.contributor.authorZhang, Minjie
dc.contributor.authorRosenblum, David
dc.date.accessioned2020-08-19T13:24:55Z
dc.date.available2020-08-19T13:24:55Z
dc.date.issued2020
dc.identifier.citationSu, 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
dc.identifier.issn00985589
dc.identifier.issn23263881
dc.identifier.urihttps://scholarbank.nus.edu.sg/handle/10635/173150
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.sourceElements
dc.typeArticle
dc.date.updated2020-06-03T05:55:20Z
dc.contributor.departmentINSTITUTE OF SYSTEMS SCIENCE
dc.description.doi10.1109/tse.2020.2996033
dc.description.sourcetitleIEEE Transactions on Software Engineering
dc.description.page1-1
dc.published.statePublished
Appears in Collections:Staff Publications
Elements

Show simple item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
ieeetse2020-preprint.pdfAccepted version6.17 MBAdobe PDF

CLOSED

None

Page view(s)

119
checked on Nov 18, 2021

Download(s)

11
checked on Nov 18, 2021

Google ScholarTM

Check

Altmetric


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