Compositional Verification for Hierarchical Scheduling of Real-Time Systems
Ouvrir une session
Accueil de DSpace
→
Électronique et Électrotechnique
→
Articles Électroniques
→
Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.
Compositional Verification for Hierarchical Scheduling of Real-Time Systems
Carnevali, Laura
;
Pinzuti, Alessandro
;
Vicario, Enrico
URI:
http://repository.usthb.dz//xmlui/handle/123456789/9047
Date:
2013
Description:
638-657 p. ; 2.338ko.
Afficher la notice complète
Fichier(s) constituant ce document
Nom:
nl3102.pdf
Taille:
2.282Mo
Format:
PDF
Voir/
Ouvrir
Ce document figure dans la(les) collection(s) suivante(s)
Articles Électroniques
Chercher dans le dépôt
Chercher dans le dépôt
Cette collection
Parcourir
Tout DSpace
Communautés & Collections
Par date de publication
Auteurs
Titres
Sujets
Cette collection
Par date de publication
Auteurs
Titres
Sujets
Mon compte
Ouvrir une session
S'inscrire
