Browse "CS-Conference Papers(학술회의논문)" by Author Acher, Mathieu

Showing results 1 to 1 of 1

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

rss_1.0 rss_2.0 atom_1.0