Journals in DBLP

L'OBJET
2008, volume: 14, number: 4

1. 
   Éditorial. [Citation Graph (, )][DBLP]
   
   
2. 
   Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants. [Citation Graph (, )][DBLP]
   
   
3. 
   Spécification et vérification d'un ordonnanceur en B via les automates temporisés. [Citation Graph (, )][DBLP]
   
   
4. 
   Une approche formelle de la reconfiguration dynamique. [Citation Graph (, )][DBLP]
   
   
5. 
   Vérification automatique pour l'exécution sécurisée de composants Java. [Citation Graph (, )][DBLP]