Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V


ISBN 978-2-89276-129-0

Publications du laboratoire de combinatoire et d'informatique mathématique , 0015

Localisation : Colloque RdC (MONT)

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

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

- 144 p.
ISBN 978-2-89276-077-4

Publications du laboratoire de combinatoire et d'informatique mathématique , 0001

Localisation : Colloque RdC (MONT)

parallélisme # complexité

05-06 ; 68Q22 ; 68Q25

... Lire [+]

Filtrer

Auteurs
Codes MSC
Langue

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
-ico font2">a
  • Documents
  • Documents  Brlek, S. | enregistrements trouvés : 2

    O

    -A +A

    P Q