Theorie algebrique des systemes a evenements discrets

Etude de mesures de testabilite de systemes logiques

Dammak, Abdelaziz

January 1985

SIGLECNRS T 57608 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Analyse litteraire et informatique

Shoham, Karen

January 1988

SIGLECNRS T 65024 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un outil pour la generalisation utilisant systematiquement les theoremes : le systeme OGUST

Vrain, Christel

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Sur l'analyse et la commande des systemes incertains

Kosmidou, Olga

January 1984

SIGLET 55659 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Systemes de reecriture avec selecteur

Moreau, Philippe

January 1984

SIGLECNRS T 56685 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une theorie des constructions

Coquand, Thierry

January 1985

SIGLECNRS T 58125 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Theorie des systemes lineaires dans les dioides

Gaubert, Stephane
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1992

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

Notions fondamentales de la theorie des systemes informatiques

El Ghazi El Houssaini, Souhail

January 1986

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude du moniteur d'un systeme fonctionnellement reparti

Souai, Mohamed
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1987

SIGLECNRS TD Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Informatique sure de fonctionnement pour systemes spaciaux critiques

Powell, D.
Laprie, J.C.
Gaudel, M.C.
Courtois, B.
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3).
Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Al Khowarizmi
Toulouse-3 Univ., 31 (France). Lab. d'Automatique et d'Analyse des Systemes.

January 1987

SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Le systeme TEC'L de recherche d'informations technologiques

Oquidam, B.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Tec Systems Kate, 92 - Asnieres-sur-Seine (France)

January 1985

SIGLECNRS AR 13435 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Effets mecaniques dus au retrait de dessication du beton

Miao, Buquan
Ecole Nationale des Ponts et Chaussees, 75 - Paris (France)

January 1988

SIGLECNRS T 65332 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Les systemes de gestion de fichiers repartis

Papageorgiou, Mario

January 1988

SIGLECNRS T 63390 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude mathematique de quelques systemes biologiques

Sun, Hao

January 1989

SIGLEINIST T 71641 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Theorie de systeme et series temporelles

Ratsimalahelo, Zaka
Centre National de la Recherche Scientifique (CNRS), 21 - Dijon (France). Lab. d'Analyse et de Techniques Economiques (LATEC)
Dijon Univ., 21 (France). Lab. d'Analyse et de Techniques Economiques (LATEC)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 26046, issue : a.1994 n.01 / ...

Etude de mesures de testabilite de systemes logiques

Dammak, Abdelaziz

January 1985

SIGLECNRS T 57608 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Analyse litteraire et informatique

Shoham, Karen

January 1988

SIGLECNRS T 65024 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un outil pour la generalisation utilisant systematiquement les theoremes : le systeme OGUST

Vrain, Christel

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Sur l'analyse et la commande des systemes incertains

Kosmidou, Olga

January 1984

SIGLET 55659 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Systemes de reecriture avec selecteur

Moreau, Philippe

January 1984

SIGLECNRS T 56685 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une theorie des constructions

Coquand, Thierry

January 1985

SIGLECNRS T 58125 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Theorie des systemes lineaires dans les dioides

Gaubert, Stephane
Ecole Nationale Superieure des Mines, 75 - Paris (France)

January 1992

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

Notions fondamentales de la theorie des systemes informatiques

El Ghazi El Houssaini, Souhail

January 1986

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude du moniteur d'un systeme fonctionnellement reparti

Souai, Mohamed
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1987

SIGLECNRS TD Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Informatique sure de fonctionnement pour systemes spaciaux critiques

Powell, D.
Laprie, J.C.
Gaudel, M.C.
Courtois, B.
Informatique et Mathematiques de Grenoble (IMAG), 38 - Saint-Martin-d'Heres (France). Techniques de l'Informatique, des Mathematiques, de la Microelectronique et de la Microscopie Quantitative (TIM3).
Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique
Centre National de la Recherche Scientifique (CNRS), 91 - Orsay (France). Al Khowarizmi
Toulouse-3 Univ., 31 (France). Lab. d'Automatique et d'Analyse des Systemes.

January 1987

SIGLECNRS 17660 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Le systeme TEC'L de recherche d'informations technologiques

Oquidam, B.
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)
Tec Systems Kate, 92 - Asnieres-sur-Seine (France)

January 1985

SIGLECNRS AR 13435 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Effets mecaniques dus au retrait de dessication du beton

Miao, Buquan
Ecole Nationale des Ponts et Chaussees, 75 - Paris (France)

January 1988

SIGLECNRS T 65332 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Les systemes de gestion de fichiers repartis

Papageorgiou, Mario

January 1988

SIGLECNRS T 63390 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude mathematique de quelques systemes biologiques

Sun, Hao

January 1989

SIGLEINIST T 71641 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Theorie de systeme et series temporelles

Ratsimalahelo, Zaka
Centre National de la Recherche Scientifique (CNRS), 21 - Dijon (France). Lab. d'Analyse et de Techniques Economiques (LATEC)
Dijon Univ., 21 (France). Lab. d'Analyse et de Techniques Economiques (LATEC)

January 1994

Available at INIST (FR), Document Supply Service, under shelf-number : 26046, issue : a.1994 n.01 / ...

Etude de mesures de testabilite de systemes logiques

Dammak, Abdelaziz

January 1985

SIGLECNRS T 57608 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Analyse litteraire et informatique

Shoham, Karen

January 1988

SIGLECNRS T 65024 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Un outil pour la generalisation utilisant systematiquement les theoremes : le systeme OGUST

Vrain, Christel

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Theorie algebrique des systemes a evenements discrets

Abstract

Extracted data

Topics

Theorie algebrique des systemes a evenements discrets

Abstract

Extracted data

Topics

Related items

Related items