REVERT: Runtime Verification for Real-Time Systems

Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016. Porto, Portugal.

Bibliographic Details
Main Author: Kochanthara, Sangeeth (author)
Other Authors: Nelissen, Geoffrey (author), Pereira, David (author), Purandare, Rahul (author)
Format: conferenceObject
Language:eng
Published: 2016
Subjects:
Monitoring
Automata
Real-time systems
Timing
Runtime
Jitter
Scalability
Online Access:http://hdl.handle.net/10400.22/9496
Country:Portugal
Oai:oai:recipp.ipp.pt:10400.22/9496

Internet

http://hdl.handle.net/10400.22/9496

Similar Items