You are here

Home › Research › Publications ›

Real-time MTL with durations as SMT with applications to schedulability analysis

TitleReal-time MTL with durations as SMT with applications to schedulability analysis
Publication TypeConference Paper
Year of Publication2020
AuthorsPedro, Ade Matos, Leucker, M, Pereira, D, Pinto, JSousa
Conference NameTASE 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}
}