Conference paper Open Access
Striver: Stream Runtime Verification for Real-Time Event-Streams
Felipe Gorostiaga;
César Sánchez
GeoJSON Export
{
"type": "FeatureCollection",
"features": []
}
72
182
views
downloads
| Views | 72 |
| Downloads | 182 |
| Data volume | 119.4 MB |
| Unique views | 55 |
| Unique downloads | 167 |
Indexed in
- Publication date:
- November 10, 2018
- DOI:
-
- Published in:
- Proceedings of the The 18th International Conference on Runtime Verification, Springer, pp. 282-298.
- Grants:
-
European Commission:
- ELASTEST - ElasTest: an elastic platform for testing complex distributed large software systems (731535)
- Meeting:
- International Conference on Runtime Verification (RV2018)
- Communities:
- License (for files):
- Creative Commons Attribution 4.0 International