Language: French
Published by Editions universitaires europeennes, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 36.04
Quantity: Over 20 available
Add to basketCondition: New. In.
Taschenbuch. Condition: 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.
Taschenbuch. Condition: 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.
Language: French
Published by Éditions universitaires européennes, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Seller: moluna, Greven, Germany
Condition: New.
Language: French
Published by Éditions Universitaires Européennes, 2010
ISBN 10: 6131500096 ISBN 13: 9786131500091
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 160 pages. French language. 8.66x5.91x0.37 inches. In Stock.
Language: French
Published by Éditions universitaires européennes, 2010
ISBN 10: 6131500096 ISBN 13: 9786131500091
Seller: moluna, Greven, Germany
Condition: New.
Language: French
Published by Editions universitaires europeennes EUE, 2016
ISBN 10: 6131500096 ISBN 13: 9786131500091
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Surveillance des systèmes à événements discrets | À l'aide des réseaux de Petri temporels | Mohamed Ghazel | Taschenbuch | Paperback | 160 S. | Französisch | 2016 | Editions universitaires europeennes EUE | EAN 9786131500091 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
£ 37.81
Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Language: English
Published by Springer, Springer Apr 2025, 2025
ISBN 10: 3031853555 ISBN 13: 9783031853555
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: 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.
Condition: New. Print on Demand.
Language: English
Published by Springer Verlag GmbH, 2025
ISBN 10: 3031853555 ISBN 13: 9783031853555
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Condition: New. PRINT ON DEMAND.
Language: French
Published by Editions Universitaires Europeennes EUE Jan 2016, 2016
ISBN 10: 6131500096 ISBN 13: 9786131500091
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: 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.
Language: English
Published by Springer, Springer Apr 2025, 2025
ISBN 10: 3031853555 ISBN 13: 9783031853555
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: 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.
Language: French
Published by VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Seller: Majestic Books, Hounslow, United Kingdom
Condition: 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.
Language: French
Published by VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. Print on Demand pp. 104.
Language: French
Published by VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 104.
Language: French
Published by Editions Universitaires Europeennes EUE Jan 2016, 2016
ISBN 10: 6131500096 ISBN 13: 9786131500091
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: 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.
Language: French
Published by Editions Universitaires Europeennes EUE, 2010
ISBN 10: 6131500096 ISBN 13: 9786131500091
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: 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.