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} }