TASE 2020
14th International Symposium on Theoretical Aspects of Software EngineeringHangzhou, China
Homepage: https://sei.ecnu.edu.cn/tase2020/ap.htm
Participants:
André Pedro
Martin Leucker
David PereiraConference 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.
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.