Runtime enforcement of timed properties Srinivas Pinisetty To cite this version: Srinivas Pinisetty. Runtime enforcement of timed properties. Automatic Control Engineering. Université Rennes 1, 2015. English. <NNT : 201 - Automatic control - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-08-05 11:52:38		Runtime enforcement of timed properties Srinivas Pinisetty To cite this version: Srinivas Pinisetty. Runtime enforcement of timed properties. Automatic Control Engineering. Université Rennes 1, 2015. English. Add to Reading List Source URL: tel.archives-ouvertes.fr Download Document from Source Website File Size: 3,03 MB Share Document on Facebook