Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00018460
CCS + contrainte # COCOLOG hiérarchique # POTS # approche relationnelle de la décomposition parallèle # commande # contrôle décentralisé # dynamique hybride # environnement LOTOS # implémentation de système à transition contrainte # machine finie # méthode mathématique # observation mathématique # observation partielle # opérateur de télécommunication # protocole important # réseau de Petri synchronisé # synthèse de superviseur # synthèse de système informatique # système communicant distribué # système continu ou discret # système à événement discret # téléphone # utilisation MEC # validation de système à base temporelle # vérification de chronogramme hiérarchique # vérification de style algébrique # vérification informatique
[-]
CCS + contrainte # COCOLOG hiérarchique # POTS # approche relationnelle de la décomposition parallèle # commande # contrôle décentralisé # dynamique hybride # environnement LOTOS # implémentation de système à transition contrainte # machine finie # méthode mathématique # observation mathématique # observation partielle # opérateur de télécommunication # protocole important # réseau de Petri synchronisé # synthèse de superviseur # synthèse de ...
[+]
68Mxx ; 68Qxx ; 93A30 ; 93B07 ; 93B50
Localisation : Colloque 1er étage (MONT)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 144 p.
Cote : 00037146
parallélisme # complexité
05-06 ; 68Q22 ; 68Q25
Localisation : Colloque 1er étage (MONT)