ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

couverture du numéro

Approches formelles pour la validation de systèmes temps-réel
Sous la direction de Yamine Ait Ameur, Frédéric Boniol, Hassan Mountassir.
 LISTE DES ARTICLES POUR LE VOL 42/9 - 2008
Sommaire - Éditorial  [GRATUIT]
- pp.1057-1060
Une extension temporisée de la méthode B pour la spécification et la vérification des systèmes temps-réel
Miloud RACHED, Odile NASR, Jean-Paul BODEVEIX, Mamoun FILALI - pp.1061-1084
Modélisation et évaluation des liens ACL Bluetooth en environnement temps-réel communicant
Tarik KHOUTAIF, Fabrice PEYRARD - pp.1085-1110
Testing duration systems
Lotfi MAJDOUB, Riadh ROBBANA - pp.1111-1134
État de l'art sur la robustesse temporelle des systèmes temps-réel monoprocesseur
Laurent GEORGE - pp.1135-1160
Durée exacte de montée en charge des systèmes temps-réel par une politique à priorités fixes. Périodiques ordonnancés en multiprocesseur
Bernard CHAUVIÈRE - pp.1161-1190
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier