The SCEAS System
Navigation Menu

Journals in DBLP

Technique et Science Informatiques
2002, volume: 21, number: 9


  1. Édito. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:9, pp:1161-1162 [Journal]
  2. Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert
    Utilisation des contraintes pour la génération automatique de cas de test structurels. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:9, pp:1163-1187 [Journal]
  3. Bruno Legeard, Fabien Peureux
    B-Testing-Tools : génération de tests aux limites à partir de spécifications B. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:9, pp:1189-1218 [Journal]
  4. Agnès Arnould, Pascale Le Gall
    Test de conformité : une approche algébrique. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:9, pp:1219-1242 [Journal]
  5. Ioannis Parissis
    Test de spécifications de logiciels synchrones. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:9, pp:1243-1264 [Journal]
  6. Thierry Jéron
    TGV : théorie, principes et algorithmes. Un outil de synthèse automatique de tests de conformité pour les systèmes réactifs. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:9, pp:1265-1294 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002