Published in

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

DOI: 10.1109/icst.2017.43

Links

Tools

Export citation

Search in Google Scholar

Timed k-Tail: Automatic Inference of Timed Automata

Proceedings article published in 2017 by Fabrizio Pastore, Daniela Micucci ORCID, Leonardo Mariani
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Question mark in circle
Preprint: policy unknown
Upload
Question mark in circle
Postprint: policy unknown
Upload
Question mark in circle
Published version: policy unknown
Upload