SMT-based Schedulability Analysis using RMTL- R

IEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016, CRTS. Porto, Portugal.

Detalhes bibliográficos
Autor principal: Pedro, André (author)
Outros Autores: Pereira, David (author), Pinho, Luís Miguel (author), Sousa Pinto, Jorge (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2017
Texto completo:http://hdl.handle.net/10400.22/9529
País:Portugal
Oai:oai:recipp.ipp.pt:10400.22/9529

Texto Completo

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

Registros relacionados