Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Etude de mesures de testabilite de systemes logiques

Dammak, Abdelaziz

Publication date

January 1985

Abstract

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

Extracted data

Related items

Sur la mise en oeuvre directe d'une specification fonctionnelle des systemes temps reel

Demmou, Hamid

January 1984

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

Etude de la carence en bore du Tournesol

Mercier, Jean-Francois

January 1984

CNRS T 55478 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

La specificite en logique des defauts

Moinard, Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
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, 35 (France)

January 1987

SIGLECNRS 14802 E / 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

Sur l'analyse et la commande des systemes incertains

Kosmidou, Olga

January 1984

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

Test integre de processeur facilement testable

De Choudens, Philippe
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

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

Mise en oeuvre et tests de protocoles ecrits en Estelle

Favreau, Jean-Philippe

January 1986

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

Reseaux de predicats et logique temporelle pour la verification des systemes repartis

Papapanagiotakis, Giorgos

January 1986

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

Etude de certains processus de naissance

Wen, Zhi Ying

January 1986

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

Une experience dans la specification et la validation des systemes distribues

Ecault, Christine

January 1985

SIGLECNRS T 58247 / 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

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

Colmatage et decolmatage des tranchees d'epandage en assainissement autonome

Lemore, Catherine

January 1984

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

Testabilite de systemes a base de circuits VLSI

Pellegrinelli, Jean-Luc

January 1990

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

"L'utilisation de la logique trivaluee dans les systemes experts"

Mathieu, Philippe

January 1991

INIST T 74720 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Sur la mise en oeuvre directe d'une specification fonctionnelle des systemes temps reel

Demmou, Hamid

January 1984

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

Etude de la carence en bore du Tournesol

Mercier, Jean-Francois

January 1984

CNRS T 55478 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

La specificite en logique des defauts

Moinard, Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
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, 35 (France)

January 1987

SIGLECNRS 14802 E / 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

Sur l'analyse et la commande des systemes incertains

Kosmidou, Olga

January 1984

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

Test integre de processeur facilement testable

De Choudens, Philippe
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

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

Mise en oeuvre et tests de protocoles ecrits en Estelle

Favreau, Jean-Philippe

January 1986

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

Reseaux de predicats et logique temporelle pour la verification des systemes repartis

Papapanagiotakis, Giorgos

January 1986

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

Etude de certains processus de naissance

Wen, Zhi Ying

January 1986

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

Une experience dans la specification et la validation des systemes distribues

Ecault, Christine

January 1985

SIGLECNRS T 58247 / 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

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

Colmatage et decolmatage des tranchees d'epandage en assainissement autonome

Lemore, Catherine

January 1984

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

Testabilite de systemes a base de circuits VLSI

Pellegrinelli, Jean-Luc

January 1990

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

"L'utilisation de la logique trivaluee dans les systemes experts"

Mathieu, Philippe

January 1991

INIST T 74720 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Sur la mise en oeuvre directe d'une specification fonctionnelle des systemes temps reel

Demmou, Hamid

January 1984

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

Etude de la carence en bore du Tournesol

Mercier, Jean-Francois

January 1984

CNRS T 55478 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

La specificite en logique des defauts

Moinard, Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
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, 35 (France)

January 1987

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