Journals in DBLP

Technique et Science Informatiques
2004, volume: 23, number: 7

1. 
   Éditorial. [Citation Graph (0, 0)][DBLP]
   Technique et Science Informatiques, 2004, v:23, n:7, pp:853- [Journal]
   
2. Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin
   Validation des règles de base de l'Atelier B. [Citation Graph (0, 0)][DBLP]
   Technique et Science Informatiques, 2004, v:23, n:7, pp:855-878 [Journal]
   
3. Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin
   Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM. [Citation Graph (0, 0)][DBLP]
   Technique et Science Informatiques, 2004, v:23, n:7, pp:879-903 [Journal]
   
4. Pierre Bontron, Marie-Laure Potet
   Stratégie de couverture de test à un haut niveau d'abstraction. [Citation Graph (0, 0)][DBLP]
   Technique et Science Informatiques, 2004, v:23, n:7, pp:905-928 [Journal]
   
5. 
   La méthode B et l'ingénierie système. [Citation Graph (0, 0)][DBLP]
   Technique et Science Informatiques, 2004, v:23, n:7, pp:929-938 [Journal]
   
6. 
   Les réseaux de régulation biologique : rencontre entre biologie et informatique. Production de mucus chez P. aeruginosa. [Citation Graph (0, 0)][DBLP]
   Technique et Science Informatiques, 2004, v:23, n:7, pp:939-946 [Journal]
   
7. 
   Modèles de programmation non conventionnels. [Citation Graph (0, 0)][DBLP]
   Technique et Science Informatiques, 2004, v:23, n:7, pp:947-956 [Journal]
   
8. 
   Évolution artificielle. [Citation Graph (0, 0)][DBLP]
   Technique et Science Informatiques, 2004, v:23, n:7, pp:957- [Journal]