Le moteur de recherche
des thèses françaises
Charles André
IdRefMots clés
FR
Temps réel (informatique)
Esterel (langage de programmation)
Parallélisme (informatique)
Sciences appliquées
Réseaux de Petri
Informatique, automatique théorique, systèmes
Programmation parallèle (informatique)
Systèmes informatiques
Langages de programmation
Sémantique opérationnelle
Systèmes sur puce
UML (informatique)
Ingénierie dirigée par les modèles
Modèles mathématiques
Simulation par ordinateur
Asynchronisme
Langage synchrones
Langages de programmation visuelle
Programmation visuelle
Programmation orientée objets (informatique)