TASE 2020

14th International Symposium on Theoretical Aspects of Software Engineering
11, Dec, 2020 to 13, Dec, 2020
Hangzhou, China
Homepage: https://sei.ecnu.edu.cn/tase2020/ap.htmOutside Link

Participants:
,
André Pedro
,
Martin Leucker
,
David Pereira
,
Jorge Sousa Pinto




Conference or Workshop Papers/Talks
Real-time MTL with durations as SMT with applications to schedulability analysis CISTER-TR-200703 
André Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto14th International Symposium on Theoretical Aspects of Software Engineering (TASE 2020). 11 to 13, Dec, 2020. Hangzhou, China.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               

PreviousNext