Collaborated with:
L.Schmidt S.Fischmeister
Talks about:
regular (1) system (1) specif (1) trace (1) trem (1) tool (1) time (1) mine (1)
Person: Apurva Narayan
DBLP: Narayan:Apurva
Contributed to:
Wrote 1 papers:
- ASE-2017-SchmidtNF #mining #named #specification
- TREM: a tool for mining timed regular specifications from system traces (LS, AN, SF), pp. 901–906.