Conference paper Open Access

Striver: Stream Runtime Verification for Real-Time Event-Streams

Felipe Gorostiaga; César Sánchez


BibTeX Export

@inproceedings{felipe_gorostiaga_2018_3385673,
  author       = {Felipe Gorostiaga and
                  César Sánchez},
  title        = {{Striver: Stream Runtime Verification for Real-Time 
                   Event-Streams}},
  booktitle    = {{Proceedings of the The 18th International 
                   Conference on Runtime Verification}},
  year         = 2018,
  pages        = {282-298},
  publisher    = {Springer},
  month        = nov,
  doi          = {10.1007/978-3-030-03769-7\_16},
  url          = {https://doi.org/10.1007/978-3-030-03769-7\_16}
}
68
112
views
downloads
Views 68
Downloads 112
Data volume 73.5 MB
Unique views 51
Unique downloads 98

Share

Cite as