Timed k-Tail: Automatic Inference of Timed Automata

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Fabrizio Pastore, Daniela Micucci, Leonardo Mariani

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

Journal number: Annual

Journal publisher: IEEE

Published year: 2017

Published pages: 401-411

DOI identifier: 10.1109/ICST.2017.43

ISBN: 978-1-5090-6031-3