Enforcement of (Timed) Properties with Uncontrollable Events - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand. Enforcement of (Timed) Properties with Uncontrollable Events. In Martin Leucker, Camilo Rueda, Frank D. Valencia, editors, Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings. Volume 9399 of Lecture Notes in Computer Science, pages 542-560, Springer, 2015. [doi]

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

Yliès Falcone

Look up 'Yliès Falcone' in GoogleThis author has not been identified. Look up 'Antoine Rollet' in GoogleThis author has not been identified. Look up 'Srinivas Pinisetty' in GoogleThis author has not been identified. Look up 'Thierry Jéron' in GoogleThis author has not been identified. Look up 'Hervé Marchand' in Google

runs on WebDSL