Cited By
View all- Cimatti ATian CTonetta S(2019)Assumption-Based Runtime Verification with Partial Observability and ResetsRuntime Verification10.1007/978-3-030-32079-9_10(165-184)Online publication date: 8-Oct-2019
- Mao JChen L(2012)Runtime Monitoring for Cyber-physical SystemsProceedings of the 2012 Second International Conference on Intelligent System Design and Engineering Application10.1109/ISdea.2012.592(509-515)Online publication date: 6-Jan-2012
- Gonnord LBabau J(2008)Runtime resource assurance and adaptation with Qinna framework: A case study2008 International Multiconference on Computer Science and Information Technology10.1109/IMCSIT.2008.4747307(617-624)Online publication date: Oct-2008
- Show More Cited By