Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Alshammari, Nayef Hmoud"'
Autor:
Alshammari, Nayef Hmoud
Runtime Verification (RV) is the discipline that allows monitoring systems at runtime in order to check the satisfaction or violation of a given correctness property. Parallel systems are more complicated than sequential systems. Therefore, systems t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______909::1ee085a9c899eed2b9152725a8665659
https://dora.dmu.ac.uk/handle/2086/20250
https://dora.dmu.ac.uk/handle/2086/20250
