Old Web
English
Sign In
Acemap
>
Paper
>
HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams
HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams
2021
Felipe Gorostiaga
César Sánchez
Keywords:
Runtime verification
Event (computing)
STREAMS
Distributed computing
Extensibility
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
36
References
1
Citations
NaN
KQI
[]