Le travail de recherche expose dans ce mémoire a pour point de départ deux faits: d'une part, un langage rationnel de mots infinis est caractérise par...
L'utilisation de l'approche synchrone dans la programmation des systèmes d'exploitation permet d'obtenir une plate-forme déterministe et prouvée pour...
Face a la complexité croissante des fonctionnalités offertes par les systèmes informatiques, d'importants besoins se font sentir en matière de formati...
