A translation of Statecharts and Activitycharts into signal equations

Transformations syntaxiques de programmes SIGNAL

Cheron, Bruno

January 1991

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

Modelisation et simulation numerique de l'influx cardiaque

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

January 2001

Theme 4 - Simulation et optimisation de systemes complexes - Projet SINUSAvailable from INIST (FR), ...

Mesure et analyse des caracteristiques d'une memoire d'objets

Richer, Nicolas
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1997

Theme 1 - Reseaux et systemes. Projet SORAvailable from INIST (FR), Document Supply Service, under s...

Analyse des langages et modeles de la mobilite

Boudol, Gerard
Germain, Florence
Lacoste, Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MIMOSAAvailable from INIST (FR), Document Supply Service, und...

Un systeme de modules avances pour SIGNAL

Nowak, David
Talpin, Jean-Pierre
Gautier, Thierry
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)
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)

January 1997

Theme 1 - Reseaux et systemes - Projet EP-ATRAvailable from INIST (FR), Document Supply Service, und...

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...

Environnement de conception d'automatismes discrets base sur le langage Signal

Bournai, P.
Le Borgne, M.
Marchand, H.
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)
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)

January 1997

Theme 1 - Reseaux et systemes. Projet EP-ATRAvailable from INIST (FR), Document Supply Service, unde...

Statistiques d'ordre superieur et modelisation en traitement du signal

Bondon, Pascal

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81268 / 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...

Systeme d'information spontane (SIS) Problematique et premiers elements de solutions

Banatre, Michel
Weis, Frederic
Centre National de la Recherche Scientifique (CNRS), 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)
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)

January 1998

Theme 1 - Reseaux et systemes. Projet SolidorAvailable from INIST (FR), Document Supply Service, und...

Compacite, proprietes spectrales et comportement asymptotique des semi-grupes de translation. Application a une equation de dynamique des populations

Alaoui, Larbi

January 1991

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

Regimes electriques transitoires des liaisons souterraines

Dorison, E.
Bourgeat, X.
Qako, N.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France (EDF), 77 - Moret-sur-Loing (France). Dept. Cables Condensateurs Materiel d'Automatisme Materiaux (CIMA)

January 1997

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 26165 B, issue : a.199...

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...

Codage d'un signal audio-numerique

Zanotti, Jean-Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique - Projet CODESAvailable from INIST (FR), Document Supp...

Sensibilite de mesures transitoires instantanees des systemes informatiques hautement fiables

Hamza, Moulaye
Abdallah, Haiscam
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 1999

Theme 1 - Reseaux et systemes. Projet ModelSIGLEAvailable from INIST (FR), Document Supply Service, ...

Transformations syntaxiques de programmes SIGNAL

Cheron, Bruno

January 1991

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

Modelisation et simulation numerique de l'influx cardiaque

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

January 2001

Theme 4 - Simulation et optimisation de systemes complexes - Projet SINUSAvailable from INIST (FR), ...

Mesure et analyse des caracteristiques d'une memoire d'objets

Richer, Nicolas
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1997

Theme 1 - Reseaux et systemes. Projet SORAvailable from INIST (FR), Document Supply Service, under s...

Analyse des langages et modeles de la mobilite

Boudol, Gerard
Germain, Florence
Lacoste, Marc
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 2000

Theme 1 - Reseaux et systemes - Projet MIMOSAAvailable from INIST (FR), Document Supply Service, und...

Un systeme de modules avances pour SIGNAL

Nowak, David
Talpin, Jean-Pierre
Gautier, Thierry
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)
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)

January 1997

Theme 1 - Reseaux et systemes - Projet EP-ATRAvailable from INIST (FR), Document Supply Service, und...

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...

Environnement de conception d'automatismes discrets base sur le langage Signal

Bournai, P.
Le Borgne, M.
Marchand, H.
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)
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)

January 1997

Theme 1 - Reseaux et systemes. Projet EP-ATRAvailable from INIST (FR), Document Supply Service, unde...

Statistiques d'ordre superieur et modelisation en traitement du signal

Bondon, Pascal

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81268 / 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...

Systeme d'information spontane (SIS) Problematique et premiers elements de solutions

Banatre, Michel
Weis, Frederic
Centre National de la Recherche Scientifique (CNRS), 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)
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)

January 1998

Theme 1 - Reseaux et systemes. Projet SolidorAvailable from INIST (FR), Document Supply Service, und...

Compacite, proprietes spectrales et comportement asymptotique des semi-grupes de translation. Application a une equation de dynamique des populations

Alaoui, Larbi

January 1991

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

Regimes electriques transitoires des liaisons souterraines

Dorison, E.
Bourgeat, X.
Qako, N.
Electricite de France (EDF), 91 - Clamart (France). Direction des Etudes et Recherches (DER)
Electricite de France (EDF), 77 - Moret-sur-Loing (France). Dept. Cables Condensateurs Materiel d'Automatisme Materiaux (CIMA)

January 1997

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 26165 B, issue : a.199...

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...

Codage d'un signal audio-numerique

Zanotti, Jean-Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique - Projet CODESAvailable from INIST (FR), Document Supp...

Sensibilite de mesures transitoires instantanees des systemes informatiques hautement fiables

Hamza, Moulaye
Abdallah, Haiscam
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 1999

Theme 1 - Reseaux et systemes. Projet ModelSIGLEAvailable from INIST (FR), Document Supply Service, ...

Transformations syntaxiques de programmes SIGNAL

Cheron, Bruno

January 1991

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

Modelisation et simulation numerique de l'influx cardiaque

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

January 2001

Theme 4 - Simulation et optimisation de systemes complexes - Projet SINUSAvailable from INIST (FR), ...

Mesure et analyse des caracteristiques d'une memoire d'objets

Richer, Nicolas
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1997

Theme 1 - Reseaux et systemes. Projet SORAvailable from INIST (FR), Document Supply Service, under s...

A translation of Statecharts and Activitycharts into signal equations

Abstract

Extracted data

A translation of Statecharts and Activitycharts into signal equations

Abstract

Extracted data

Related items

Related items