Verification de la consistance et de la conservation d'un reseau de Petri

Utilisation du langage SIGNAL pour l'etude d'algorithmes de traitement du signal electrocardiographique

Medigue, Claire
Clairambault, Jean
Kauffmann, Francois
Sorine, Michel
Curzi-Dascalova, Lilia
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 5 : Traitement du signal, automatique et productiqueAvailable at INIST (FR), Document Supp...

Correcteur typographique pour l'edition electronique

Andre, Jacques
Richy, Helene
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1995

Programme 3 : intelligence artificielle, systemes cognitifs et interaction homme-machine - Projet OP...

Methodes de verification de bases de connaissances

Lafon, Philippe
Ecole Nationale des Ponts et Chaussees (ENPC), 75 - Paris (France)

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 81214 / INIST-CNRS ...

Conception des systemes a evenements discrets a l'aide des reseaux de Petri - la propriete de consistance

Chu, Chengbin
Chu, Feng
Proth, Jean-Marie
Xie, Xioalan
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

Programme 5 : traitement du signal, automatique et productiqueSIGLEAvailable at INIST (FR), Document...

Conception des systemes a evenements discrets a l'aide des reseaux de Petri : la propriete de bornitude structurelle

Feng Chu
Proth, Jean-Marie
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

Programme 5 : traitement du signal, automatique et productiqueSIGLEAvailable at INIST (FR), Document...

Ondelettes orthogonales et biorthogonales

Delyon, Bernard
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1993

Programme 5 - Traitement du signal, automatique et productique. Projet ASSIGLEAvailable at INIST (FR...

Un modele dynamique de comportement d'une entreprise

Dulbecco, Philippe
Gaffard, Jean-Luc
Laurent, Philippe
Leblond, Juliette
Pomet, Jean-Baptiste
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1995

Programme 5 - Traitement du signal, automatique et productique. Projet MIAOUSIGLEAvailable at INIST ...

Ordonnancement base sur les reseaux de Petri

Chu, Feng
Proth, Jean-Marie
Savi, Vanio Murilo
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1993 n.196...

Analyse des systemes MIN-MAX

Olsder, Geert Jan
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1993

Programme 5 : traitement du signal, automatique et productiqueSIGLEAvailable at INIST (FR), Document...

Compilation et verification de programmes LOTOS

Garavel, Hubert

January 1989

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 81524 / INIST-CNRS ...

Specification, verification et raffinement de reseaux de processus communicants

Carrez, Francois

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77709 / INIST-CNRS -...

Rapport d'activite 1990. Annexe technique Programme 5 : traitement du signal, automatique et productique

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1990 n.5 /...

Rapport d'activite 1992. Annexe technique Programme 5 : traitement du signal, automatique et productique

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1992 n.5 /...

SIGNAL manual

Bournai, Patricia
Cheron, Bruno
Gautier, Thierry
Houssais, Bernard
Le Guernic, Paul
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1993

Programme 2 - Projet EP-ATRSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number...

Methodes de verification de specifications comportementales: etude et mise en oeuvre

Mounier, Laurent

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82207 / INIST-CNRS ...

Utilisation du langage SIGNAL pour l'etude d'algorithmes de traitement du signal electrocardiographique

Medigue, Claire
Clairambault, Jean
Kauffmann, Francois
Sorine, Michel
Curzi-Dascalova, Lilia
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 5 : Traitement du signal, automatique et productiqueAvailable at INIST (FR), Document Supp...

Correcteur typographique pour l'edition electronique

Andre, Jacques
Richy, Helene
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1995

Programme 3 : intelligence artificielle, systemes cognitifs et interaction homme-machine - Projet OP...

Methodes de verification de bases de connaissances

Lafon, Philippe
Ecole Nationale des Ponts et Chaussees (ENPC), 75 - Paris (France)

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 81214 / INIST-CNRS ...

Conception des systemes a evenements discrets a l'aide des reseaux de Petri - la propriete de consistance

Chu, Chengbin
Chu, Feng
Proth, Jean-Marie
Xie, Xioalan
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

Programme 5 : traitement du signal, automatique et productiqueSIGLEAvailable at INIST (FR), Document...

Conception des systemes a evenements discrets a l'aide des reseaux de Petri : la propriete de bornitude structurelle

Feng Chu
Proth, Jean-Marie
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

Programme 5 : traitement du signal, automatique et productiqueSIGLEAvailable at INIST (FR), Document...

Ondelettes orthogonales et biorthogonales

Delyon, Bernard
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1993

Programme 5 - Traitement du signal, automatique et productique. Projet ASSIGLEAvailable at INIST (FR...

Un modele dynamique de comportement d'une entreprise

Dulbecco, Philippe
Gaffard, Jean-Luc
Laurent, Philippe
Leblond, Juliette
Pomet, Jean-Baptiste
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1995

Programme 5 - Traitement du signal, automatique et productique. Projet MIAOUSIGLEAvailable at INIST ...

Ordonnancement base sur les reseaux de Petri

Chu, Feng
Proth, Jean-Marie
Savi, Vanio Murilo
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1993 n.196...

Analyse des systemes MIN-MAX

Olsder, Geert Jan
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1993

Programme 5 : traitement du signal, automatique et productiqueSIGLEAvailable at INIST (FR), Document...

Compilation et verification de programmes LOTOS

Garavel, Hubert

January 1989

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 81524 / INIST-CNRS ...

Specification, verification et raffinement de reseaux de processus communicants

Carrez, Francois

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 77709 / INIST-CNRS -...

Rapport d'activite 1990. Annexe technique Programme 5 : traitement du signal, automatique et productique

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1990 n.5 /...

Rapport d'activite 1992. Annexe technique Programme 5 : traitement du signal, automatique et productique

Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 D, issue : a.1992 n.5 /...

SIGNAL manual

Bournai, Patricia
Cheron, Bruno
Gautier, Thierry
Houssais, Bernard
Le Guernic, Paul
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1993

Programme 2 - Projet EP-ATRSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number...

Methodes de verification de specifications comportementales: etude et mise en oeuvre

Mounier, Laurent

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 82207 / INIST-CNRS ...

Utilisation du langage SIGNAL pour l'etude d'algorithmes de traitement du signal electrocardiographique

Medigue, Claire
Clairambault, Jean
Kauffmann, Francois
Sorine, Michel
Curzi-Dascalova, Lilia
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 5 : Traitement du signal, automatique et productiqueAvailable at INIST (FR), Document Supp...

Correcteur typographique pour l'edition electronique

Andre, Jacques
Richy, Helene
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1995

Programme 3 : intelligence artificielle, systemes cognitifs et interaction homme-machine - Projet OP...

Methodes de verification de bases de connaissances

Lafon, Philippe
Ecole Nationale des Ponts et Chaussees (ENPC), 75 - Paris (France)

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 81214 / INIST-CNRS ...

Verification de la consistance et de la conservation d'un reseau de Petri

Abstract

Extracted data

Verification de la consistance et de la conservation d'un reseau de Petri

Abstract

Extracted data

Related items

Related items