Les microprocesseurs dans les techniques de securite

Technologie de la microelectronique

Vincent, G.
Centre National d'Etudes des Telecommunications (CNET), 38 - Meylan (France). Div. Recherches Physiques et Technologiques

January 1987

SIGLECNRS RP 253 (67) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Semantique fonctionnelle des micro-processeurs: l'environnement de specification et de preuve "muSPEED"

Collavizza, Helene

January 1991

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

Les machines tournantes industrielles

Association Technique pour les Economies d'Energie, 94 - Arcueil (France)
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1987

SIGLECNRS RP 400 (1007) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Soutien a la productique et developpement de microprocesseurs et capteurs

Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1986

CNRS AR 11107 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Semantique fonctionnelle de microprocesseurs au niveau instruction machine

Paillet, Jean-Luc
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Atelier de Recherche sue les Techniques Mathematiques et Informatiques de Systemes

January 1988

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

Microtechniques et sciences pour l'ingenieur

Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

CNRS AR 10720 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Les Micro-ondes dans l'industrie: pourquoi paso

Ministere de l'Industrie, Mission a l'Innovation et la Technologie Paris (FRANCE)

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

La microtechnique

Ambassade de France, Berne (Switzerland)
Ministere des Affaires Etrangeres, 75 - Paris (France). Direction Generale des Relations Culturelles, Scientifiques et Techniques
Ministere des Affaires Etrangeres, 75 - Paris (France). Direction de la Cooperation Scientifique Technique et du Developpement

January 1988

SIGLECNRS RP 350 (113) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude et realisation de capteurs micro-ondes industriels pour la valorisation du bois

Lambert, Pascal

January 1990

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

Etude de faisabilite d'un microcontroleur de tres haute securite

Chaumontet, Gilles
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1990

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

Compilateur de parties controle de microprocesseurs

Mhaya, Noureddine
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1988

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

Journee d'etude bruits impulsionnels

Institut National de Recherche et de Securite (INRS), 54 - Vandoeuvre-les-Nancy (France)
Institut National de Recherche et de Securite (INRS), 75 - Paris (France)

January 1985

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

Les Techniques propres dans l'industrie francaise

Ministere de l'Environnement, Direction de la Prevention des Pollutions Neuilly-sur-Seine (FRANCE)
Societe d'Etudes pour le Developpement Economique et Social Paris (FRANCE)

January 1981

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

Mise en oeuvre des microprocesseurs

Barthelemy, M.
Brisson, J.C.
Dacosta, V.
Fabre, R.
Gallice, P.
Lecomte, J.L.
Mackowiak
Sarquiz, M
Matichard, G.
CEA, CEN Saclay, 91 - Gif-sur-Yvette (France)

January 1981

Available from CEN Saclay, Service de Documentation, 91191 Gif-sur-Yvette Cedex (France) / INIST-CNR...

Conception descendante appliquee aux microprocesseurs VLSI

Bertrand, Francois
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

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

Technologie de la microelectronique

Vincent, G.
Centre National d'Etudes des Telecommunications (CNET), 38 - Meylan (France). Div. Recherches Physiques et Technologiques

January 1987

SIGLECNRS RP 253 (67) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Semantique fonctionnelle des micro-processeurs: l'environnement de specification et de preuve "muSPEED"

Collavizza, Helene

January 1991

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

Les machines tournantes industrielles

Association Technique pour les Economies d'Energie, 94 - Arcueil (France)
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1987

SIGLECNRS RP 400 (1007) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Soutien a la productique et developpement de microprocesseurs et capteurs

Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1986

CNRS AR 11107 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Semantique fonctionnelle de microprocesseurs au niveau instruction machine

Paillet, Jean-Luc
Centre National de la Recherche Scientifique (CNRS), 38 - Saint-Martin-d'Heres (France). Atelier de Recherche sue les Techniques Mathematiques et Informatiques de Systemes

January 1988

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

Microtechniques et sciences pour l'ingenieur

Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

CNRS AR 10720 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Les Micro-ondes dans l'industrie: pourquoi paso

Ministere de l'Industrie, Mission a l'Innovation et la Technologie Paris (FRANCE)

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

La microtechnique

Ambassade de France, Berne (Switzerland)
Ministere des Affaires Etrangeres, 75 - Paris (France). Direction Generale des Relations Culturelles, Scientifiques et Techniques
Ministere des Affaires Etrangeres, 75 - Paris (France). Direction de la Cooperation Scientifique Technique et du Developpement

January 1988

SIGLECNRS RP 350 (113) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude et realisation de capteurs micro-ondes industriels pour la valorisation du bois

Lambert, Pascal

January 1990

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

Etude de faisabilite d'un microcontroleur de tres haute securite

Chaumontet, Gilles
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1990

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

Compilateur de parties controle de microprocesseurs

Mhaya, Noureddine
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1988

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

Journee d'etude bruits impulsionnels

Institut National de Recherche et de Securite (INRS), 54 - Vandoeuvre-les-Nancy (France)
Institut National de Recherche et de Securite (INRS), 75 - Paris (France)

January 1985

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

Les Techniques propres dans l'industrie francaise

Ministere de l'Environnement, Direction de la Prevention des Pollutions Neuilly-sur-Seine (FRANCE)
Societe d'Etudes pour le Developpement Economique et Social Paris (FRANCE)

January 1981

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

Mise en oeuvre des microprocesseurs

Barthelemy, M.
Brisson, J.C.
Dacosta, V.
Fabre, R.
Gallice, P.
Lecomte, J.L.
Mackowiak
Sarquiz, M
Matichard, G.
CEA, CEN Saclay, 91 - Gif-sur-Yvette (France)

January 1981

Available from CEN Saclay, Service de Documentation, 91191 Gif-sur-Yvette Cedex (France) / INIST-CNR...

Conception descendante appliquee aux microprocesseurs VLSI

Bertrand, Francois
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1985

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

Technologie de la microelectronique

Vincent, G.
Centre National d'Etudes des Telecommunications (CNET), 38 - Meylan (France). Div. Recherches Physiques et Technologiques

January 1987

SIGLECNRS RP 253 (67) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Semantique fonctionnelle des micro-processeurs: l'environnement de specification et de preuve "muSPEED"

Collavizza, Helene

January 1991

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

Les machines tournantes industrielles

Association Technique pour les Economies d'Energie, 94 - Arcueil (France)
Agence Francaise pour la Maitrise de l'Energie (AFME), 75 - Paris (France)

January 1987

SIGLECNRS RP 400 (1007) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Les microprocesseurs dans les techniques de securite

Abstract

Extracted data

Les microprocesseurs dans les techniques de securite

Abstract

Extracted data

Related items

Related items