Quantitative Verification for Monitoring Event-Streaming Systems

Please use this identifier to cite or link to this item: https://doi.org/10.1109/tse.2020.2996033

DC Field	Value
dc.title	Quantitative Verification for Monitoring Event-Streaming Systems
dc.contributor.author	Su, Guoxin
dc.contributor.author	Liu, Li
dc.contributor.author	Zhang, Minjie
dc.contributor.author	Rosenblum, David
dc.date.accessioned	2020-08-19T13:24:55Z
dc.date.available	2020-08-19T13:24:55Z
dc.date.issued	2020
dc.identifier.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
dc.identifier.issn	00985589
dc.identifier.issn	23263881
dc.identifier.uri	https://scholarbank.nus.edu.sg/handle/10635/173150
dc.publisher	Institute of Electrical and Electronics Engineers (IEEE)
dc.source	Elements
dc.type	Article
dc.date.updated	2020-06-03T05:55:20Z
dc.contributor.department	INSTITUTE OF SYSTEMS SCIENCE
dc.description.doi	10.1109/tse.2020.2996033
dc.description.sourcetitle	IEEE Transactions on Software Engineering
dc.description.page	1-1
dc.published.state	Published
Appears in Collections:	Staff Publications Elements

File	Description	Size	Format	Access Settings	Version
ieeetse2020-preprint.pdf	Accepted version	6.17 MB	Adobe PDF	CLOSED	None

Check