Controle Des Applications Temps-Reel : Modeles Temporises Et Hybrides (Technique Et Science Informat

• Date de parution : 14/06/2006
• Editeur : Hermes Science Publications
• EAN : 9782746214835
• Série : (-)
• Support : Revue

• Nombre de pages : (-)
• Collection : (-)
• Genre : (-)
• Thème : Non attribué
• Prix littéraire(s) : (-)

Contrôle de systèmes symboliques, discrets ou hybrides T. Le Gall, B. Jeannet, H. Marchand - pp.289-315Systèmes multi-agents adaptatifs avec contraintes temps-réel G. Hutzler, H. Klaudel, D. Yue Wang - pp.317-342Vérification formelle des systèmes temps-réel avec ordonnancement préemptif D. Lime,... Voir plus

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