2 résultat(s) recherche sur le tag 'systemes temps reel'

Approches Formelles des Systèmes Embarqués Communicants : IC2 - Informatique et Systèmes d'Information / Olivier H. Roux

Public ISBD Titre : Approches Formelles des Systèmes Embarqués Communicants : IC2 - Informatique et Systèmes d'Information Type de document : texte imprimé Auteurs : Olivier H. Roux, Auteur ; Claude Jard, Auteur Editeur : Hermès Sciences Année de publication : 2008 Importance : 268 p. ISBN/ISSN/EAN : 978-2-7462-1942-7 Langues : Anglais (eng) Tags : Validation Formelle  Systèmes Temps Réel  Systèmes Embarqués Index. décimale : A1 A1 - Automatique Continue Approches Formelles des Systèmes Embarqués Communicants : IC2 - Informatique et Systèmes d'Information [texte imprimé] / Olivier H. Roux, Auteur ; Claude Jard, Auteur . - [S.l.] : Hermès Sciences, 2008 . - 268 p. ISBN : 978-2-7462-1942-7 Langues : Anglais (eng) Tags : Validation Formelle  Systèmes Temps Réel  Systèmes Embarqués Index. décimale : A1 A1 - Automatique Continue

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
A1 / 15300	Papier	OUVRAGES	ROBOTIQUE		Emprunté par: Karen Godary Sorti jusqu'au 04/03/2013

Contribution à la Conception et au Prototypage de Systèmes sur Silicium : Evaluation Fonctionnelle / S. RAIMBAULT

Public ISBD Titre : Contribution à la Conception et au Prototypage de Systèmes sur Silicium : Evaluation Fonctionnelle Type de document : texte imprimé Auteurs : S. RAIMBAULT, Auteur Année de publication : 2000 Langues : Français (fre) Tags : CO-SIMULATION  CO-DESIGN  SYSTEMES TEMPS REEL  SYSTEMES INFORMATIQUES, AUTOMATIQUES ET MICROELECTRONIQUE Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : CAMBON G. Co-directeur(s) de thèse : TORRES L. Président du jury : ROBERT M. Rapporteur(s) : AUGUIN M.;SENTIEYS O. Examinateur(s) : CONQ B.;KONIG J.C.;TORRES L. Date de soutenance : 19/12/2000 Contribution à la Conception et au Prototypage de Systèmes sur Silicium : Evaluation Fonctionnelle [texte imprimé] / S. RAIMBAULT, Auteur . - 2000. Langues : Français (fre) Tags : CO-SIMULATION  CO-DESIGN  SYSTEMES TEMPS REEL  SYSTEMES INFORMATIQUES, AUTOMATIQUES ET MICROELECTRONIQUE Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : CAMBON G. Co-directeur(s) de thèse : TORRES L. Président du jury : ROBERT M. Rapporteur(s) : AUGUIN M.;SENTIEYS O. Examinateur(s) : CONQ B.;KONIG J.C.;TORRES L. Date de soutenance : 19/12/2000

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-00 / 6968	Papier	THESES	NON CLASSES		Disponible