Compositional Runtime Enforcement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Srinivas Pinisetty, Stavros Tripakis. Compositional Runtime Enforcement. In Sanjai Rayadurgam, Oksana Tkachuk, editors, NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Volume 9690 of Lecture Notes in Computer Science, pages 82-99, Springer, 2016. [doi]

This author has not been identified. Look up 'Srinivas Pinisetty' in GoogleThis author has not been identified. It may be one of the following persons:

Stavros Tripakis

Look up 'Stavros Tripakis' in Google

runs on WebDSL