Lingua: Francese
Editore: Editions universitaires europeennes, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 42,94
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 69,54
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 63,80
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Francese
Editore: Éditions universitaires européennes, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Da: moluna, Greven, Germania
EUR 33,58
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Francese
Editore: Éditions Universitaires Européennes, 2010
ISBN 10: 6131500096 ISBN 13: 9786131500091
Da: Revaluation Books, Exeter, Regno Unito
EUR 74,04
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 160 pages. French language. 8.66x5.91x0.37 inches. In Stock.
Lingua: Francese
Editore: Éditions universitaires européennes, 2010
ISBN 10: 6131500096 ISBN 13: 9786131500091
Da: moluna, Greven, Germania
EUR 41,05
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Francese
Editore: Editions universitaires europeennes EUE, 2016
ISBN 10: 6131500096 ISBN 13: 9786131500091
Da: preigu, Osnabrück, Germania
EUR 43,30
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: PBShop.store US, Wood Dale, IL, U.S.A.
EUR 46,19
Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 58,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
EUR 45,04
Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Lingua: Inglese
Editore: Springer, Springer Apr 2025, 2025
ISBN 10: 3031853555 ISBN 13: 9783031853555
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 69,54
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Majestic Books, Hounslow, Regno Unito
EUR 100,20
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: moluna, Greven, Germania
EUR 61,55
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 101,07
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
Lingua: Francese
Editore: Editions Universitaires Europeennes EUE Jan 2016, 2016
ISBN 10: 6131500096 ISBN 13: 9786131500091
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 49,00
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer, Springer Apr 2025, 2025
ISBN 10: 3031853555 ISBN 13: 9783031853555
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 69,54
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Francese
Editore: VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Da: Majestic Books, Hounslow, Regno Unito
EUR 82,84
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: 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.
Lingua: Francese
Editore: VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. Print on Demand pp. 104.
Lingua: Francese
Editore: VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG, 2011
ISBN 10: 3841785263 ISBN 13: 9783841785268
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 84,03
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 104.
Lingua: Francese
Editore: Editions Universitaires Europeennes EUE Jan 2016, 2016
ISBN 10: 6131500096 ISBN 13: 9786131500091
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 49,00
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Francese
Editore: Editions Universitaires Europeennes EUE, 2010
ISBN 10: 6131500096 ISBN 13: 9786131500091
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 49,59
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.