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}
}
72
182
views
downloads
Views 72
Downloads 182
Data volume 119.4 MB
Unique views 55
Unique downloads 167

Share

Cite as