2 résultat(s) recherche sur le tag 'machine a etats finis'

Coloured Petri Nets - Modelling and Validation of Concurrent Systems / K. JENSEN

Public ISBD Titre : Coloured Petri Nets - Modelling and Validation of Concurrent Systems Type de document : texte imprimé Auteurs : K. JENSEN, Auteur ; L.M. KRISTENSEN, Auteur Editeur : Springer Année de publication : 2009 Importance : 384 p. ISBN/ISSN/EAN : 978-3-642-00283-0 Langues : Inconnue (und) Tags : MODELISATION  RESEAU DE PETRI LOTS COLORE  MACHINE A ETATS FINIS Index. décimale : A2 A2 - Automatique Discrète - Informatique Industrielle Coloured Petri Nets - Modelling and Validation of Concurrent Systems [texte imprimé] / K. JENSEN, Auteur ; L.M. KRISTENSEN, Auteur . - [S.l.] : Springer, 2009 . - 384 p. ISBN : 978-3-642-00283-0 Langues : Inconnue (und) Tags : MODELISATION  RESEAU DE PETRI LOTS COLORE  MACHINE A ETATS FINIS Index. décimale : A2 A2 - Automatique Discrète - Informatique Industrielle

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
A2 / 13855	Papier	OUVRAGES	ROBOTIQUE		Emprunté par: Karen Godary Sorti jusqu'au 22/05/2011

Contribution au Test Intégré : Optimisation des Générateurs de Vecteurs de Test Matériels et leur Adaptation à la Détection de Fautes Complexes / Hélène VIALLON

Public ISBD Titre : Contribution au Test Intégré : Optimisation des Générateurs de Vecteurs de Test Matériels et leur Adaptation à la Détection de Fautes Complexes Type de document : texte imprimé Auteurs : Hélène VIALLON, Auteur Année de publication : 1996 Langues : Français (fre) Tags : CONCEPTION EN VUE DU TEST  TEST INTEGRE  GENERATEUR DE VECTEURS DE TEST  MACHINE A ETATS FINIS  ELECTRONIQUE, OPTRONIQUE ET SYSTEMES Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : LANDRAULT C. Président du jury : ZORIAN Y. Rapporteur(s) : THEVENOD P. Examinateur(s) : PRAVOSSOUDOVITCH S.;DUFAZA C. Date de soutenance : 17/10/1996 Contribution au Test Intégré : Optimisation des Générateurs de Vecteurs de Test Matériels et leur Adaptation à la Détection de Fautes Complexes [texte imprimé] / Hélène VIALLON, Auteur . - 1996. Langues : Français (fre) Tags : CONCEPTION EN VUE DU TEST  TEST INTEGRE  GENERATEUR DE VECTEURS DE TEST  MACHINE A ETATS FINIS  ELECTRONIQUE, OPTRONIQUE ET SYSTEMES Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : LANDRAULT C. Président du jury : ZORIAN Y. Rapporteur(s) : THEVENOD P. Examinateur(s) : PRAVOSSOUDOVITCH S.;DUFAZA C. Date de soutenance : 17/10/1996

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-96 / 6018	Papier	THESES	NON CLASSES		Disponible