![](/img/cover-not-exists.png)
[IEEE 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Guilin, China (2019.7.29-2019.7.31)] 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) - A Logical Approach for the Schedulability Analysis of CCSL
Zhang, Yuanrui, Mallet, Frederic, Zhu, Huibiao, Chen, YixiangYear:
2019
Language:
english
DOI:
10.1109/TASE.2019.00-23
File:
PDF, 246 KB
english, 2019