output
20122021
most citedRuntime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces

17 citations

Showing 2021Show all

2 papers · 1 filter