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.

Detalhes bibliográficos
Autor principal: Kochanthara, Sangeeth (author)
Outros Autores: Nelissen, Geoffrey (author), Pereira, David (author), Purandare, Rahul (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2016
Assuntos:
Monitoring
Automata
Real-time systems
Timing
Runtime
Jitter
Scalability
Texto completo:http://hdl.handle.net/10400.22/9496
País:Portugal
Oai:oai:recipp.ipp.pt:10400.22/9496
Descrição
Resumo:Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016. Porto, Portugal.

Registos relacionados