Logic-based schedulability analysis for compositional hard real-time embedded systems

Thumbnail Image
Files
P-00G-6CK.pdf (363.04 KB)
Date
2015
Authors
Pedro,AdM
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/5027
 http://dx.doi.org/10.1145/2752801.2752808
Collections
HASLab - Indexed Articles in Journals