Conference paper Open Access

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

Felipe Gorostiaga; César Sánchez


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
68
112
views
downloads
Views 68
Downloads 112
Data volume 73.5 MB
Unique views 51
Unique downloads 98

Share

Cite as