3 résultat(s) recherche sur le tag 'validation'

Méthodes Formelles pour les Systèmes Répartis et Coopératifs / S. HADDAD

Public ISBD Titre : Méthodes Formelles pour les Systèmes Répartis et Coopératifs Type de document : texte imprimé Auteurs : S. HADDAD, Auteur ; F. KORDON, Auteur ; L. PETRUCCI, Auteur Editeur : Hermès Sciences Année de publication : 2006 Importance : 347 p. ISBN/ISSN/EAN : 2-7462-1447-4 Langues : Inconnue (und) Tags : VALIDATION  FORMEL  VERIFICATION  MODELISATION  SYSTEMES REPARTIS Index. décimale : I6 I6 - Bases de Données - Systèmes d'Informations Méthodes Formelles pour les Systèmes Répartis et Coopératifs [texte imprimé] / S. HADDAD, Auteur ; F. KORDON, Auteur ; L. PETRUCCI, Auteur . - [S.l.] : Hermès Sciences, 2006 . - 347 p. ISBN : 2-7462-1447-4 Langues : Inconnue (und) Tags : VALIDATION  FORMEL  VERIFICATION  MODELISATION  SYSTEMES REPARTIS Index. décimale : I6 I6 - Bases de Données - Systèmes d'Informations

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
I6 / 13849	Papier	OUVRAGES	INFORMATIQUE		Emprunté par: Karen Godary Sorti jusqu'au 22/05/2011

Modélisation du Logiciel Embarqué à Différents Niveaux d'Abstraction en Vue de la Validation et la Synthèse des Systèmes Monopuces / A. BOUCHHIMA

Public ISBD Titre : Modélisation du Logiciel Embarqué à Différents Niveaux d'Abstraction en Vue de la Validation et la Synthèse des Systèmes Monopuces Type de document : texte imprimé Auteurs : A. BOUCHHIMA, Auteur Année de publication : 2006 Langues : Français (fre) Tags : VALIDATION  ELECTRONIQUE, OPTRONIQUE ET SYSTEMES Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : JERRAYA A.A. Co-directeur(s) de thèse : PETROT F. Rapporteur(s) : SENS P.;QUINTON P. Examinateur(s) : TOURKI R.;CLOURAD A. Date de soutenance : 03/05/2006 Modélisation du Logiciel Embarqué à Différents Niveaux d'Abstraction en Vue de la Validation et la Synthèse des Systèmes Monopuces [texte imprimé] / A. BOUCHHIMA, Auteur . - 2006. Langues : Français (fre) Tags : VALIDATION  ELECTRONIQUE, OPTRONIQUE ET SYSTEMES Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : JERRAYA A.A. Co-directeur(s) de thèse : PETROT F. Rapporteur(s) : SENS P.;QUINTON P. Examinateur(s) : TOURKI R.;CLOURAD A. Date de soutenance : 03/05/2006

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-06 / 13228	Papier	THESES	NON CLASSES		Disponible

Spécification et Validation des Systèmes Hétérogènes Embarqués / E.G. NUTANICOLESCU

Public ISBD Titre : Spécification et Validation des Systèmes Hétérogènes Embarqués Type de document : texte imprimé Auteurs : E.G. NUTANICOLESCU, Auteur Année de publication : 2002 Langues : Français (fre) Tags : SYSTEMES HETEROGENES  LANGAGES DE SPECIFICATION  VALIDATION  COSIMULATION  GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : JERRAYA A.A. Président du jury : COURTOIS B. Rapporteur(s) : BOIS G.;CALVEZ J.P. Examinateur(s) : YOO S. Date de soutenance : 27/11/2002 Spécification et Validation des Systèmes Hétérogènes Embarqués [texte imprimé] / E.G. NUTANICOLESCU, Auteur . - 2002. Langues : Français (fre) Tags : SYSTEMES HETEROGENES  LANGAGES DE SPECIFICATION  VALIDATION  COSIMULATION  GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : JERRAYA A.A. Président du jury : COURTOIS B. Rapporteur(s) : BOIS G.;CALVEZ J.P. Examinateur(s) : YOO S. Date de soutenance : 27/11/2002

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-02 / 9593	Papier	THESES	NON CLASSES		Disponible