SMT-based schedulability analysis using RMTL-?

Thumbnail Image
Files
P-00N-9PH.pdf (297.64 KB)
Date
2017
Authors
Matos Pedro,Ad
Pereira,D
Pinho,LM
Jorge Sousa Pinto
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/5032
 http://dx.doi.org/10.1145/3166227.3166234
Collections
HASLab - Indexed Articles in Journals