[ACM Press the 31st Annual ACM Symposium - Pisa, Italy (2016.04.04-2016.04.08)] Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 - 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, SungwonYear:
2016
Language:
english
DOI:
10.1145/2851613.2851977
File:
PDF, 1.36 MB
english, 2016