A formal modeling and analysis framework for software product line of preemptive real-time systems
by Acm Publishing.رتبه و نظرات
نظر دهید
نظرات (0)
Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16
Visit Journal Webpage