A
Menu
March 01, 2017 conference-paper

Timed k-Tail: Automatic Inference of Timed Automata

IEEE International Conference on Software Testing, Verification and Validation (ICST)

DOI: 10.1109/icst.2017.43 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 2 stored of 34

2 results

References 0