[ACM Press the 31st Annual ACM Symposium - Pisa, Italy...

  • Main
  • [ACM Press the 31st Annual ACM...

[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, Sungwon
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2016
Language:
english
DOI:
10.1145/2851613.2851977
File:
PDF, 1.36 MB
english, 2016
Conversion to is in progress
Conversion to is failed