Eléments de synchronisation pour un langage temps-réel de commande de procédés
FR |
EN
Auteur / Autrice : | Juan Pablo Gruer |
Direction : | Pierre Deschizeaux |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1989 |
Etablissement(s) : | Mulhouse |
Mots clés
FR
Mots clés contrôlés
Mots clés libres
Automatique théorique
Systèmes
Langage commande
Langage programmation
Programmation structurée
Sémantique formelle
Langage naturel
Synchronisation
événement aléatoire
Process control
Real time system
Petri net
Control language
Programming language
Structured programming
Formal semantics
Natural language
Synchronization
Random event
Résumé
FR
Etude d'un moyen d'expression des relations temporelles entre événements. La méthode s'inspire du langage naturel. . .