Saumya Shankar, Srinivas Pinisetty. Serial Compositional Runtime Enforcement of Safety Timed Properties. In Sonali Agarwal, Abhik Roychoudhury, Rahul Purandare, Saurabh Tiwari 0001, Lov Kumar, editors, 16th Innovations in Software Engineering Conference, ISEC2023, Allahabad, India, February 23-25, 2023. ACM, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.