Services
Commerciaux
14, rue de Provigny
94236 CACHAN
CEDEX
FRANCE

Tél.: +33 (0)1 47 40
67 00
Fax: +33 (0)1 47 40
67 02

publicité

Notice

Contrôle des applications temps-réel: modèles temporisés et hybrides (Technique et science informatiques RSTI série TSI Vol. 25 N° 3/2006)

Auteurs : CASSEZ Franck, LAROUSSINIE François

Date de parution : 06-2006
Support : Numéro de revue
Langue : FRANÇAIS
114p. 16x24 Broché

Commentaire de Contrôle des applications temps-réel: modèles...

"Retrouvez la description détaillée du numéro sur RevuesOnline."""

Sommaire de Contrôle des applications temps-réel: modèles...

  • Contrôle de systèmes symboliques, discrets ou hybrides
    T. Le Gall, B. Jeannet, H. Marchand - pp.289-315
  • Systèmes multi-agents adaptatifs avec contraintes temps-réel
    G. Hutzler, H. Klaudel, D. Yue Wang - pp.317-342
  • Vérification formelle des systèmes temps-réel avec ordonnancement préemptif
    D. Lime, O. Roux - pp.343-370
  • Impact de choix d'implantation sur les performances d'une application de contrôle-commande
    F. Jumel, N. Navet, F. Simonot-Lion - pp.371-398