الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا

Modélisation des systèmes réactifs / Congrès Modélisation des systèmes réactifs (03; 2002; Toulouse)

Public ISBD Titre : Modélisation des systèmes réactifs : actes de MSR'2001, 17 octobre-19 octobre, ENSICA, Toulouse, France Type de document : texte imprimé Auteurs : Congrès Modélisation des systèmes réactifs (03; 2002; Toulouse), Auteur ; Guy Juanole, Directeur de publication, rédacteur en chef ; Robert Valette (1945-....), Directeur de publication, rédacteur en chef ; Laboratoire d'automatique et d'analyse des systèmes, Editeur scientifique ; École nationale supérieure d'ingénieurs de constructions aéronautiques, Editeur scientifique Editeur : Paris : Hermès science publications Année de publication : 2002 Importance : 580 p. Présentation : ill. Format : 17x24 cm ISBN/ISSN/EAN : 978-2-7462-0329-7 Prix : 105 EUR Note générale : Notes bibliogr. Index des auteurs . Résumés en français et en anglais Langues : Français (fre) Mots-clés : Modélisation des systèmes réactifs  SYNTHESE DE CONTROLEURS  TELCOMMUNICATIONS  SYSTEME HYBRIDES  APPROCHE SYNCHRONE  VALIDATION TEMPORELLE  ORDONNANCEMENTET RESEAUX DE PETRISPECIFICATION Index. décimale : 537 Résumé : les systèmes réactifs qui sont des systèmes rencontrés dans de nombreux secteurs (transports télécommunications aéronautique énergie production robotique microsystèmes etc...) constituent un axe de recherche privilégié pour une large communauté scientifique comprenant notamment les automaticiens et informaticiens. sommaire: conférence invitée 1 synthése de controleurs télécomunications systémes hybrides conférence synchrone 1 validation temporelle conférences invitée 3 ordonnancement et réseaux de petri supervision conférence invitée 4 algébre max + spécification approche synchrone 2 Modélisation des systèmes réactifs : actes de MSR'2001, 17 octobre-19 octobre, ENSICA, Toulouse, France [texte imprimé] / Congrès Modélisation des systèmes réactifs (03; 2002; Toulouse), Auteur ; Guy Juanole, Directeur de publication, rédacteur en chef ; Robert Valette (1945-....), Directeur de publication, rédacteur en chef ; Laboratoire d'automatique et d'analyse des systèmes, Editeur scientifique ; École nationale supérieure d'ingénieurs de constructions aéronautiques, Editeur scientifique . - Paris : Hermès science publications, 2002 . - 580 p. : ill. ; 17x24 cm. ISBN : 978-2-7462-0329-7 : 105 EUR Notes bibliogr. Index des auteurs . Résumés en français et en anglais Langues : Français (fre) Mots-clés : Modélisation des systèmes réactifs  SYNTHESE DE CONTROLEURS  TELCOMMUNICATIONS  SYSTEME HYBRIDES  APPROCHE SYNCHRONE  VALIDATION TEMPORELLE  ORDONNANCEMENTET RESEAUX DE PETRISPECIFICATION Index. décimale : 537 Résumé : les systèmes réactifs qui sont des systèmes rencontrés dans de nombreux secteurs (transports télécommunications aéronautique énergie production robotique microsystèmes etc...) constituent un axe de recherche privilégié pour une large communauté scientifique comprenant notamment les automaticiens et informaticiens. sommaire: conférence invitée 1 synthése de controleurs télécomunications systémes hybrides conférence synchrone 1 validation temporelle conférences invitée 3 ordonnancement et réseaux de petri supervision conférence invitée 4 algébre max + spécification approche synchrone 2

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
ST290	629/03.1	Ouvrage	Faculté des Sciences et de la Technologie	600 - Technologie (Sciences appliquées)	Exclu du prêt

---

1 (1 - 1 / 1)