ACCUEIL

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

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

couverture du numéro

 LISTE DES ARTICLES POUR LE VOL 21/8 - 2002
Éditorial  [GRATUIT]
- pp.1049-1050
Cartes d'étapes d'études des diagrammes d'UML
- pp.1051-1072
Spécifications formelles du chanfreinage
Franck LEDOUX, Jean-Marc MOTA, Agnès ARNOULD, Catherine DUBOIS, Pascale Le GALL, Yves BERTRAND - pp.1073-1098
Automatiser les preuves d'un sous-langage de la méthode B
Olivier BOITE - pp.1099-1120
Raffiner pour vérifier des systèmes paramétrés
Françoise BELLEGARDE, Célina CHARLET, Olga KOUCHNARENKO - pp.1121-1149
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