Description
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)
Authors: CASSEZ Franck, LAROUSSINIE François
Language: FrenchSubjects for Contrôle des applications temps-réel : modèles...:
Publication date: 06-2006
Support: Journal issue
Out of Print
Support: Journal issue
Out of Print
- 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
Retrouvez la description détaillée du numéro sur RevuesOnline.
© 2024 LAVOISIER S.A.S.