Showing results 1 to 1 of 1
A formal modeling and analysis framework for software product line of preemptive real-time systems Kim, Jin Hyun; Legay, Axel; Traonouez, Louis-Marie; Acher, Mathieu; Kang, Sungwon, 31st Annual ACM Symposium on Applied Computing, SAC 2016, pp.1562 - 1565, ACM Special Interest Group on Applied Computing (SIGAPP), 2016-04 |
Discover