sciences appliquees : informatique, automatique theorique, systemes microordinateurs temps réel (informatique) commande automatique problèmes et exercices sciences appliquees : telecommunications et theorie de l'information thèses et écrits académiques analyse systeme/systeme temps reel/contrainte/caracteristique temporelle/verification/specification/ordonnancement/borne inferieure/borne superieure/analyse temporelle/analyse hors ligne/verification comportementale/contrainte temporelle/cd automatique automatique, problèmes automobiles conception et construction thèses et écrits académiques automobiles équipement électronique thèses et écrits académiques commande automatique commande en temps réel commande, théorie de la computer aided design/real time system/petri net conception assistee/systeme temps reel/reseau petri distributed system/real time system/scheduling/precedence constraint/heuristic method/simulated annealing/genetic algorithm fiabilité thèses et écrits académiques industrial power system/field bus/message handling informatique industrielle informatique, automatique theorique, systemes langage programmation/competition/ordonnancement/parallelisme/protocole transmission/synchronisation/detection/interblocage/implementation/parallel execution/sequential tasks/distributed reactive language langages paralleles mecanismes de synchronisation osi (architecture de réseaux) osi (architecture de réseaux) thèses et écrits académiques programming language/competition/scheduling/parallelism/transmission protocol/synchronization/detection/deadlock/implementation protocoles de réseaux d'ordinateurs protocoles de réseaux d'ordinateurs thèses et écrits académiques reseau industriel/bus terrain/messagerie/norme mms/fip/profibus/protocole multiserveur