Compositional Verification for Hierarchical Scheduling of Real-Time Systems

Afficher la notice abrégée

dc.contributor.author Carnevali, Laura
dc.contributor.author Pinzuti, Alessandro
dc.contributor.author Vicario, Enrico
dc.date.accessioned 2022-03-01T09:01:17Z
dc.date.available 2022-03-01T09:01:17Z
dc.date.issued 2013
dc.identifier.issn 0098-5589
dc.identifier.uri http://repository.usthb.dz//xmlui/handle/123456789/9047
dc.description 638-657 p. ; 2.338ko. en_US
dc.language.iso en en_US
dc.publisher Institute of electrical and electronics engineers en_US
dc.subject Vérification de modèles (informatique) en_US
dc.subject Logiciels : Vérification en_US
dc.subject Systèmes, Analyse de en_US
dc.subject Planification des systèmes en temps réel en_US
dc.subject Vérification de la composition pour hierarchical en_US
dc.title Compositional Verification for Hierarchical Scheduling of Real-Time Systems en_US
dc.type Article en_US


Fichier(s) constituant ce document

Icon
Nom: nl3102.pdf
Taille: 2.282Mo
Format: PDF
Voir/Ouvrir

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

Chercher dans le dépôt


Parcourir

Mon compte