Idioma: Francés
Publicado por Editions universitaires europeennes, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 42,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 101,19
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 69,54
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during October 16-18, 2024.The 16 full papers included in this book were carefully reviewed and selected from 42 submissions. They deal with the state of the art and challenges in modern computer and communication systems in the areas of verification, control, performance, and dependability evaluation.
Librería: preigu, Osnabrück, Alemania
EUR 63,80
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Verification and Evaluation of Computer and Communication Systems | 17th International Conference, VECoS 2024, Djerba, Tunisia, October 16-18, 2024, Proceedings | Belgacem Ben Hedia (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2025 | Springer | EAN 9783031853555 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Librería: moluna, Greven, Alemania
EUR 33,58
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Francés
Publicado por Éditions Universitaires Européennes, 2010
ISBN 10: 6131500096 ISBN 13: 9786131500091
Librería: Revaluation Books, Exeter, Reino Unido
EUR 73,36
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 160 pages. French language. 8.66x5.91x0.37 inches. In Stock.
Idioma: Francés
Publicado por Éditions universitaires européennes, 2010
ISBN 10: 6131500096 ISBN 13: 9786131500091
Librería: moluna, Greven, Alemania
EUR 41,05
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 46,62
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 58,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 43,79
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Idioma: Inglés
Publicado por Springer, Springer Apr 2025, 2025
ISBN 10: 3031853555 ISBN 13: 9783031853555
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 69,54
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during October 16-18, 2024.The 16 full papers included in this book were carefully reviewed and selected from 42 submissions. They deal with the state of the art and challenges in modern computer and communication systems in the areas of verification, control, performance, and dependability evaluation. 268 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 92,83
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 94,09
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.
Librería: moluna, Greven, Alemania
EUR 61,55
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Idioma: Francés
Publicado por Editions Universitaires Europeennes EUE Jan 2016, 2016
ISBN 10: 6131500096 ISBN 13: 9786131500091
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 49,00
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nous proposons une nouvelle approche de surveillance pour les SEDs qui permet d'exploiter le facteur temps dans un contexte d'observabilité partielle sur le comportement du système. Comme pour les principales approches de surveillance existantes, nous partons d'un modèle comportemental du système. Il s'agit ici d'un modèle de type réseau de Petri T-temporel (RdPT). Notre approche propose la construction d'un Estimateur d'état à partir du graphe de classes d'état du système selon un algorithme que nous avons développé. L'Estimateur, de par sa structure, met en évidence les conséquences perceptibles ou non de l'occurrence des différents scénarios évènementiels possibles dans le système. Un algorithme de suivi permet par ailleurs, en ligne, de vérifier la normalité du comportement et de retrouver les éventuelles défaillances qui peuvent se produire dans le système. Le dernier volet de notre étude concerne le développement de métamodèles UML pour la synthèse des relations fonctionnelles dans un système donné. L'objectif étant d'apporter une contribution dans une approche plus globale de construction de modèles pour la surveillance. 160 pp. Französisch.
Idioma: Inglés
Publicado por Springer, Springer Apr 2025, 2025
ISBN 10: 3031853555 ISBN 13: 9783031853555
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 69,54
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during October 16-18, 2024.The 16 full papers included in this book were carefully reviewed and selected from 42 submissions. They deal with the state of the art and challenges in modern computer and communication systems in the areas of verification, control, performance, and dependability evaluation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 268 pp. Englisch.
Idioma: Francés
Publicado por VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Librería: Majestic Books, Hounslow, Reino Unido
EUR 83,00
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 104 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
Idioma: Francés
Publicado por VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 89,25
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 104.
Idioma: Francés
Publicado por VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 84,03
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 104.
Idioma: Francés
Publicado por Editions Universitaires Europeennes EUE Jan 2016, 2016
ISBN 10: 6131500096 ISBN 13: 9786131500091
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 49,00
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Nous proposons une nouvelle approche de surveillance pour les SEDs qui permet d'exploiter le facteur temps dans un contexte d'observabilité partielle sur le comportement du système. Comme pour les principales approches de surveillance existantes, nous partons d'un modèle comportemental du système. Il s'agit ici d'un modèle de type réseau de Petri T-temporel (RdPT). Notre approche propose la construction d'un Estimateur d'état à partir du graphe de classes d'état du système selon un algorithme que nous avons développé. L'Estimateur, de par sa structure, met en évidence les conséquences perceptibles ou non de l'occurrence des différents scénarios évènementiels possibles dans le système. Un algorithme de suivi permet par ailleurs, en ligne, de vérifier la normalité du comportement et de retrouver les éventuelles défaillances qui peuvent se produire dans le système. Le dernier volet de notre étude concerne le développement de métamodèles UML pour la synthèse des relations fonctionnelles dans un système donné. L'objectif étant d'apporter une contribution dans une approche plus globale de construction de modèles pour la surveillance.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 160 pp. Französisch.
Idioma: Francés
Publicado por Editions Universitaires Europeennes EUE, 2010
ISBN 10: 6131500096 ISBN 13: 9786131500091
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 49,59
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Nous proposons une nouvelle approche de surveillance pour les SEDs qui permet d'exploiter le facteur temps dans un contexte d'observabilité partielle sur le comportement du système. Comme pour les principales approches de surveillance existantes, nous partons d'un modèle comportemental du système. Il s'agit ici d'un modèle de type réseau de Petri T-temporel (RdPT). Notre approche propose la construction d'un Estimateur d'état à partir du graphe de classes d'état du système selon un algorithme que nous avons développé. L'Estimateur, de par sa structure, met en évidence les conséquences perceptibles ou non de l'occurrence des différents scénarios évènementiels possibles dans le système. Un algorithme de suivi permet par ailleurs, en ligne, de vérifier la normalité du comportement et de retrouver les éventuelles défaillances qui peuvent se produire dans le système. Le dernier volet de notre étude concerne le développement de métamodèles UML pour la synthèse des relations fonctionnelles dans un système donné. L'objectif étant d'apporter une contribution dans une approche plus globale de construction de modèles pour la surveillance.