par Geeraerts, Gilles ;Goossens, Joël ;Lindstrom, Markus
Référence Real-time systems, 48, 2
Publication Publié, 2013
Référence Real-time systems, 48, 2
Publication Publié, 2013
Article révisé par les pairs
Titre: |
|
Auteur: | Geeraerts, Gilles; Goossens, Joël; Lindstrom, Markus |
Informations sur la publication: | Real-time systems, 48, 2 |
Statut de publication: | Publié, 2013 |
Sujet CREF: | Informatique générale |
Mots-clés: | Automata theory |
Complexity | |
Exact schedulability test | |
Formal methods | |
Hard real-time scheduling | |
Multiprocessor scheduling | |
Sporadic tasks | |
Note générale: | SCOPUS: ar.j |
Langue: | Anglais |
Identificateurs: | urn:issn:0922-6443 |
info:doi/10.1007/s11241-012-9172-y | |
info:scp/84876296254 |