|
|
 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L'Objet 1262-1137 |
|
| logiciel, bases de données, réseaux | |
| Publication abandonnée | |
|
|||
| LISTE DES ARTICLES POUR LE VOL 14/4 - 2008 | |||
| • |
Sommaire
[GRATUIT]
- pp.5-6 |
||
| • |
Éditorial
[GRATUIT]
P.ANDRÉ, C.ATTIOGBÉ - pp.7-10 |
||
| • |
Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants
I.MOUAKHER, J.SOUQUIÈRES, F.ALEXANDRE - pp.11-42 |
||
| • |
Spécification et vérification d'un ordonnanceur en B via les automates temporisés
O.NASR, M.RACHED, J.BODEVEIX, M.FILALI - pp.43-72 |
||
| • |
Une approche formelle de la reconfiguration dynamique
M.SIMONOT, M.APONTE - pp.73-102 |
||
| • |
Vérification automatique pour l'exécution sécurisée de composants Java
P.PARREND, S.FRÉNOT - pp.103-127 |
||
| ACHETEZ CE NUMÉRO (version imprimée) | |||
|
|
||
| ||
|
||
| ||
|
||
| ||
|
||
| ||
|
||
| ||
English version >>
