November 22, 2023· Journal of Parallel and Distributed Computing
article
Distributed runtime verification of metric temporal properties
Authors:Ritam Ganguly *Yingjie XueAaron JonckheereParker LjungBenjamin SchornsteinBorzoo Bonakdarpour *Maurice Herlihy
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.