Volume 25 – n° 3/2006
Technique et science informatiques
Sommaire Volume 25 – n° 3/2006
CONTRÔLE DES APPLICATIONS TEMPS-RÉEL MODÈLES TEMPORISÉS ET HYBRIDES
F. CASSEZ, F. LAROUSSINIE
Editorial . . . 287 T. LE GALL, B. JEANNET, H. MARCHAND
Contrôle de systèmes symboliques, discrets ou hybrides . . . 289 G. HUTZLER, H. KLAUDEL, D. YUE WANG
Systèmes multi-agents adaptatifs avec contraintes temps-réel.
De la spécification formelle à la vérification et à la génération de code . . 317 D. LIME, O. H. ROUX
Vérification formelle des systèmes temps-réel
avec ordonnancement préemptif . . . 343 F. JUMEL, N. NAVET, F. SIMONOT-LION
Impact de choix d’implantation sur les performances
d’une application de contrôle-commande . . . 371
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com