![](/img/cover-not-exists.png)
[IEEE 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Sophia Antipolis (2017.9.13-2017.9.15)] 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) - Formal verification of user-level real-time property patterns
Ge, Ning, Pantel, Marc, Zilio, Silvano DalYear:
2017
Language:
english
DOI:
10.1109/tase.2017.8285630
File:
PDF, 386 KB
english, 2017