Quantitative Verification for Monitoring Event-Streaming Systems

Quantitative Verification for Monitoring Event-Streaming Systems

10.1109/tse.2020.2996033

Saved in:
Bibliographic Details
Main Authors: Su, Guoxin, Liu, Li, Zhang, Minjie, Rosenblum, David
Other Authors: INSTITUTE OF SYSTEMS SCIENCE
Format: Article
Published: Institute of Electrical and Electronics Engineers (IEEE) 2020
Online Access:https://scholarbank.nus.edu.sg/handle/10635/173150
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-173150
record_format dspace
spelling sg-nus-scholar.10635-1731502023-11-01T07:34:25Z Quantitative Verification for Monitoring Event-Streaming Systems Su, Guoxin Liu, Li Zhang, Minjie Rosenblum, David INSTITUTE OF SYSTEMS SCIENCE 10.1109/tse.2020.2996033 IEEE Transactions on Software Engineering 1-1 2020-08-19T13:24:55Z 2020-08-19T13:24:55Z 2020 2020-06-03T05:55:20Z Article 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 00985589 23263881 https://scholarbank.nus.edu.sg/handle/10635/173150 Institute of Electrical and Electronics Engineers (IEEE) Elements
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
description 10.1109/tse.2020.2996033
author2 INSTITUTE OF SYSTEMS SCIENCE
author_facet INSTITUTE OF SYSTEMS SCIENCE
Su, Guoxin
Liu, Li
Zhang, Minjie
Rosenblum, David
format Article
author Su, Guoxin
Liu, Li
Zhang, Minjie
Rosenblum, David
spellingShingle Su, Guoxin
Liu, Li
Zhang, Minjie
Rosenblum, David
Quantitative Verification for Monitoring Event-Streaming Systems
author_sort Su, Guoxin
title Quantitative Verification for Monitoring Event-Streaming Systems
title_short Quantitative Verification for Monitoring Event-Streaming Systems
title_full Quantitative Verification for Monitoring Event-Streaming Systems
title_fullStr Quantitative Verification for Monitoring Event-Streaming Systems
title_full_unstemmed Quantitative Verification for Monitoring Event-Streaming Systems
title_sort quantitative verification for monitoring event-streaming systems
publisher Institute of Electrical and Electronics Engineers (IEEE)
publishDate 2020
url https://scholarbank.nus.edu.sg/handle/10635/173150
_version_ 1781792060596027392

Similar Items