Ensuring the satisfaction of a temporal specification at run-time.

Grace Tsai, Matt Insall, Bruce M. McMillin

Browse the full ICECCS paper archive.