m

F Nous contacter

0
     
Congrès

H 0 BMW-94 Méthodes mathématiques pour la synthèse des systèmes informatiques
ACFAS 94
62è congrès de l'Association Canadienne-Française pour l'Avancement des Sciences. UQAM, actes du colloque
Mai 16-18

Brlek, S. (Editeur)

Departement de Mathematiques Et Informatique;Université du Québec

1994

978-2-89276-129-0

00018460

68Mxx ; 68Qxx ; 93A30 ; 93B07 ; 93B50

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

Ville d'édition : Montréal

Pays d'édition : Canada

Langue : Anglais ; Français

EAN13 : 9782892761290

ISBN : 2-89276-129-8

Collation : 224 p. ; 24 cm ; Bibliogr. ; broch. ; fig.

Collection : Publications du laboratoire de combinatoire et d'informatique mathématique

N° de collection : 0015

Localisation : Colloque 1er étage (MONT)

Nom de la rencontre : 62è congrès de l'Association Canadienne-Française pour l'Avancement des Science

Numéro de congrès : 62

Année de la rencontre : 1994

Ville du congrès : Montréal

Pays du congrès : Canada

Code ACM : C.2.1 ; C.2.2 ; C.5 ; D.2.2

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00018460 [disponible]
Z