Specification d'un reseau de microprocesseurs par affinements successifs

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

Synthese provisoire des travaux sur les filieres apres THEMIS

Etievant, C.
Rivoire, B
Centre National de la Recherche Scientifique, Programme Interdisciplinaire de Recherche pour le Developpement de l'Energie Solaire, Groupe d'Evaluation des Systemes Energetiques Renouvelables Chatenay-Malabry (FRANCE)

January 1979

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

Specifications fonctionnelles de la methode d'acces au service de presentation ARCHITEL

Centre National d'Etudes des Telecommunications, Paris A Issy-les-Moulineaux (FRANCE)

January 1984

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

Raffinements de specifications generiques au moyen d'outils algebriques

Bert, Didier
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

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

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

Specifications techniques d'agrement des deviateurs d'appel

Centre National d'Etudes des Telecommunications, Paris A, Division Terminaux Procedures et Applications Issy-les-Moulineaux (FRANCE)

January 1983

SIGLECNRS-CDST / 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 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

Specification: outil de validation et/ou outil de constructiono

Guiho, Gerard
Universite de Paris 11, Laboratoire de Recherche en Informatique Orsay (FRANCE)
Centre National de la Recherche Scientifique, ERA 452, Al Khowarizmi Orsay (FRANCE)

January 1980

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

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

Specifications fonctionnelles d'un terminal intelligent pour l'exploitation des autocommutateurs electroniques: TERMIT

D'Issernio, J.-P
Centre National d'Etudes des Telecommunications, Paris A, Division Centres et Logiciels de Commutation Issy-les-Moulineaux (FRANCE)

January 1983

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

Les microprocesseurs dans les techniques de securite

Holscher, H.
Rader, J.
Rheinland, T uv
Institut National de Recherche et de Securite (INRS), 75 - Paris (France)

January 1986

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

Outils de mise au point de logiciels pour des microprocesseurs de differents types destines en particulier a l'acquisition et au traitement de donnees nucleaires

Maloeuvre, Michel
Commissariat a l'Energie Atomique, Centre d'Etudes Nucleaires de Saclay Gif-sur-Yvette (FRANCE)

January 1982

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

Realisation de l'outil Mec : specification fonctionnelle et architecture

Crubille, Paul

January 1989

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

Specification et implementation d'un mecanisme de communication de processus temps reel repartis

Creusot, Denis

January 1985

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

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

Synthese provisoire des travaux sur les filieres apres THEMIS

Etievant, C.
Rivoire, B
Centre National de la Recherche Scientifique, Programme Interdisciplinaire de Recherche pour le Developpement de l'Energie Solaire, Groupe d'Evaluation des Systemes Energetiques Renouvelables Chatenay-Malabry (FRANCE)

January 1979

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

Specifications fonctionnelles de la methode d'acces au service de presentation ARCHITEL

Centre National d'Etudes des Telecommunications, Paris A Issy-les-Moulineaux (FRANCE)

January 1984

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

Raffinements de specifications generiques au moyen d'outils algebriques

Bert, Didier
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

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

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

Specifications techniques d'agrement des deviateurs d'appel

Centre National d'Etudes des Telecommunications, Paris A, Division Terminaux Procedures et Applications Issy-les-Moulineaux (FRANCE)

January 1983

SIGLECNRS-CDST / 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 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

Specification: outil de validation et/ou outil de constructiono

Guiho, Gerard
Universite de Paris 11, Laboratoire de Recherche en Informatique Orsay (FRANCE)
Centre National de la Recherche Scientifique, ERA 452, Al Khowarizmi Orsay (FRANCE)

January 1980

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

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

Specifications fonctionnelles d'un terminal intelligent pour l'exploitation des autocommutateurs electroniques: TERMIT

D'Issernio, J.-P
Centre National d'Etudes des Telecommunications, Paris A, Division Centres et Logiciels de Commutation Issy-les-Moulineaux (FRANCE)

January 1983

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

Les microprocesseurs dans les techniques de securite

Holscher, H.
Rader, J.
Rheinland, T uv
Institut National de Recherche et de Securite (INRS), 75 - Paris (France)

January 1986

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

Outils de mise au point de logiciels pour des microprocesseurs de differents types destines en particulier a l'acquisition et au traitement de donnees nucleaires

Maloeuvre, Michel
Commissariat a l'Energie Atomique, Centre d'Etudes Nucleaires de Saclay Gif-sur-Yvette (FRANCE)

January 1982

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

Realisation de l'outil Mec : specification fonctionnelle et architecture

Crubille, Paul

January 1989

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

Specification et implementation d'un mecanisme de communication de processus temps reel repartis

Creusot, Denis

January 1985

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

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

Synthese provisoire des travaux sur les filieres apres THEMIS

Etievant, C.
Rivoire, B
Centre National de la Recherche Scientifique, Programme Interdisciplinaire de Recherche pour le Developpement de l'Energie Solaire, Groupe d'Evaluation des Systemes Energetiques Renouvelables Chatenay-Malabry (FRANCE)

January 1979

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

Specifications fonctionnelles de la methode d'acces au service de presentation ARCHITEL

Centre National d'Etudes des Telecommunications, Paris A Issy-les-Moulineaux (FRANCE)

January 1984

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

Specification d'un reseau de microprocesseurs par affinements successifs

Abstract

Extracted data

Specification d'un reseau de microprocesseurs par affinements successifs

Abstract

Extracted data

Related items

Related items