SMT-based Schedulability Analysis using RMTL- R

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

Bibliographic Details
Main Author: Pedro, André (author)
Other Authors: Pereira, David (author), Pinho, Luís Miguel (author), Sousa Pinto, Jorge (author)
Format: conferenceObject
Language:eng
Published: 2017
Online Access:http://hdl.handle.net/10400.22/9529
Country:Portugal
Oai:oai:recipp.ipp.pt:10400.22/9529
Description
Summary:IEEE Real-Time Systems Symposium (RTSS 2016). 29, Nov to 2, Dec, 2016, CRTS. Porto, Portugal.

Similar Items