Runtime Monitoring Quantified Event Automata Efficient monitoring

First Page		Document Content
Date: 2016-07-20 13:14:17 Formal methods Logic in computer science Runtime verification Marq Monitoring System programming Computing Computer science		Runtime Monitoring Quantified Event Automata Efficient monitoring Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 779,22 KB Share Document on Facebook