Mining Timed Regular Specifications from System Traces
Narayan, Apurva, Cutulenco, Greta, Joshi, Yogi, Fischmeister, SebastianVolume:
17
Language:
english
Journal:
ACM Transactions on Embedded Computing Systems
DOI:
10.1145/3147660
Date:
January, 2018
File:
PDF, 611 KB
english, 2018