Stream runtime verification of real-time event streams with the Striver language
Crossref DOI link: https://doi.org/10.1007/s10009-021-00605-3
Published Online: 2021-04-26
Published Print: 2021-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gorostiaga, Felipe http://orcid.org/0000-0002-3478-3408
Sánchez, César http://orcid.org/0000-0003-3927-4773
Text and Data Mining valid from 2021-04-01
Version of Record valid from 2021-04-01
Article History
Accepted: 12 January 2021
First Online: 26 April 2021