A formal modeling and analysis framework for software product line of preemptive real-time systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang. A formal modeling and analysis framework for software product line of preemptive real-time systems. In Sascha Ossowski, editor, Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. pages 1562-1565, ACM, 2016. [doi]

This author has not been identified. Look up 'Jin Hyun Kim' in GoogleThis author has not been identified. Look up 'Axel Legay' in GoogleThis author has not been identified. Look up 'Louis-Marie Traonouez' in GoogleThis author has not been identified. It may be one of the following persons:

Mathieu Acher

Look up 'Mathieu Acher' in GoogleThis author has not been identified. Look up 'Sungwon Kang' in Google

runs on WebDSL