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

Thumbnail Image
Date
2015
Authors
Pedro,AdM
Pereira,D
Pinho,LM
Jorge Sousa Pinto
Journal Title
Journal ISSN
Volume Title
Publisher