Real-time MTL with durations as SMT with applications to schedulability analysis
| Title | Real-time MTL with durations as SMT with applications to schedulability analysis |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Pedro, Ade Matos, Leucker, M, Pereira, D, Pinto, JSousa |
| Conference Name | TASE 2020 |
Bibtex:
@inproceedings {1407,
title = {Real-time MTL with durations as SMT with applications to schedulability analysis},
booktitle = {TASE 2020},
year = {2020},
author = {Andr{\'e} de Matos Pedro and Martin Leucker and David Pereira and Jorge Sousa Pinto}
}