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

Contrôle des applications temps-réel : modèles temporisés et hybrides
sous la direction de CASSEZ Franck, LAROUSSINIE François
 LISTE DES ARTICLES POUR LE VOL 25/3 - 2006
Sommaire  [GRATUIT]
- pp.285-285
Editorial  [GRATUIT]
- pp.287-288
Contrôle de systèmes symboliques, discrets ou hybrides
Tristan LE GALL, Bertrand JEANNET, Hervé MARCHAND - pp.289-315
Systèmes multi-agents adaptatifs avec contraintes temps-réel
Guillaume HUTZLER, Hanna KLAUDEL, Dong YUE WANG - pp.317-342
Vérification formelle des systèmes temps-réel avec ordonnancement préemptif
Didier LIME, Olivier H. ROUX - pp.343-370
Impact de choix d'implantation sur les performances d'une application de contrôle-commande
Fabrice JUMEL, Nicolas NAVET, Françoise SIMONOT-LION - pp.371-398
7e conférence internationale sur la méthode B  [GRATUIT]
- pp.399-399
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