Runtime enforcement of reactive systems using synchronous enforcers
by Acm Publishing.رتبه و نظرات
نظر دهید
نظرات (0)
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017
Visit Journal Webpage