Decentralized runtime verification of message sequences in message-based systems
Crossref DOI link: https://doi.org/10.1007/s00236-022-00435-z
Published Online: 2022-10-10
Published Print: 2023-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Samadi, Mahboubeh
Ghassemi, Fatemeh http://orcid.org/0000-0002-9677-3854
Khosravi, Ramtin
Text and Data Mining valid from 2022-10-10
Version of Record valid from 2022-10-10
Article History
Received: 22 June 2021
Accepted: 25 September 2022
First Online: 10 October 2022