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 22/4 - 2003
Édito  [GRATUIT]
- pp.399-400
Une approche générique de la réécriture
Marc AIGUIER, Diane BAHRAMI - pp.401-433
Analyse des réseaux temporels. Calcul des classes en O(n2) et des temps de chemin en O(m ×n)
Hanifa BOUCHENEB, John MULLINS - pp.435-459
Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones
Radu MATEESCU - pp.461-495
Mobilité et bases de données
- pp.497-518
L'erreur est humaine
- pp.519-526
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