Moez Krichen (50 results)
- Softcover
Seller: WeBuyBooks, Rossendale, LANCS, United KingdomWeBuyBooks
Contact seller5-star sellerCondition: Used - As new
US$ 42.82
US$ 7.75 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.10
US$ 15.82 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 95.51
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 1st ed. 2024 edition NO-PA16APR2015-KAP.
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, Vecos 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings
Hedia, Belgacem Ben (Editor)/ Maleh, Yassine (Editor)/ Krichen, Moez (Editor)
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 97.11
US$ 13.21 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 197 pages. 9.25x6.10x0.42 inches. In Stock.
- Softcover
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 62.28
US$ 56.15 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New.
Language: English
Published by VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG 2010
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 119.76
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 192.
Language: English
Published by Springer Nature Switzerland, Springer Nature Switzerland 2023
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 69.47
US$ 70.56 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS2023, held in Marrakech, Morocco, during October 18-20, 2023.The 12 full papers included…in this book were carefully reviewed and selected from 36 submissions.The topics presented covered a range of subjects, including approachesto improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 64.69
US$ 80.23 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Verification and Evaluation of Computer and Communication Systems | 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings | Belgacem Ben Hedia (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2023 | Springer | EAN 9783031497360 |… Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 68.42
US$ 80.23 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Model Based Testing for Real-Time Systems | Conformance Testing of Real-Time Systems Modeled with Partially Observable and Non-Deterministic Timed Automata | Moez Krichen | Taschenbuch | 192 S. | Englisch | 2010 | LAP LAMBERT Academic Publishing | EAN 9783843359160 | Verantwortliche Person für die EU…: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.
- Softcover
Seller: Buchpark, Trebbin, , GermanyBuchpark
Contact seller5-star sellerCondition: Used
US$ 48.38
US$ 120.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18¿20, 2023. The 12 full papers… included in this book were carefully reviewed and selected from 36 submissions. The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 187.51
US$ 15.82 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 176.84
US$ 33.02 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 165.28
US$ 80.23 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Emerging Disruptive Technologies for Society 5.0 in Developing Countries | Challenges and Applications | Sara Arezki (u. a.) | Taschenbuch | Advances in Science, Technology & Innovation | xii | Englisch | 2026 | Springer | EAN 9783031637032 | Verantwortliche Person für die EU: Springer Verlag GmbH, T…iergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 241.73
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 241.86
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
Language: English
Published by Springer Nature Switzerland, Springer Nature Switzerland 2025
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 189.47
US$ 73.95 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers an overview of the recent disruptives technologies and their application in the new Society 5.0 for better human life. The content provides researchers by new trends in blockchain, IA, and big data applied to several fields related to sma…rt cities and Society 5.0 such as health care, education, finance, mobility, logistics, and quality of life. It is an opportunity for researchers and practitioners to present and discuss their most recent research results, innovations, experiences, concerns, challenges, and trends about the application of disruptive technologies applied to Society 5.0. The aim of the book is to focus on how disruptive technologies can change the way we perform and how it creates more opportunities with a special focus on AI, blockchain, big data, etc.The idea behind this book is to focus on solutions based on disruptive technologies that can face the challenges of the developing countries. We will shed the light on different sectorssuch as education, agriculture, industry, transportation, environment, energy, health care, etc. We will discuss the challenges that the emerging countries face in these sectors and provide disruptive technologies based solutions to them. This book also introduces success stories of disruptive technologies-based solutions and their impact on the lives of people in developing countries.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 189.47
US$ 72.51 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book offers an overview of the recent disruptives technologies and their application in the new Society 5.0 for better human life. The content provides researchers by new trends in blockchain, IA, and big data applied to several fields related… to smart cities and Society 5.0 such as health care, education, finance, mobility, logistics, and quality of life. It is an opportunity for researchers and practitioners to present and discuss their most recent research results, innovations, experiences, concerns, challenges, and trends about the application of disruptive technologies applied to Society 5.0. The aim of the book is to focus on how disruptive technologies can change the way we perform and how it creates more opportunities with a special focus on AI, blockchain, big data, etc.The idea behind this book is to focus on solutions based on disruptive technologies that can face the challenges of the developing countries. We will shed the light on different sectorssuch as education, agriculture, industry, transportation, environment, energy, health care, etc. We will discuss the challenges that the emerging countries face in these sectors and provide disruptive technologies based solutions to them. This book also introduces success stories of disruptive technologies-based solutions and their impact on the lives of people in developing countries.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 256.15
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
- Softcover
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, GermanyBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contact seller5-star sellerCondition: Used - Very good
US$ 224.20
US$ 45.79 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. Condition: gut. 2023. Verification and Evaluation of Computer and Communication Systems In deutscher Sprache. pages.
Language: English
Published by Springer Nature Singapore, Springer Nature Singapore 2025
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 199.20
US$ 72.94 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains a comprehensive collection of chapters on recent and original research, along with review articles, on mathematicalmodelingof dynamical systems described by various types of differential equations. Structured into 18 chapters dedicated…to exploring different aspects of differential equations and their applications inmodelingboth discrete and continuous systems, it highlights theoretical advancements in mathematics and their practical applications inmodelingdynamic systems. Readers will find contributions by renowned scholars who delve into the intricacies of nonlinear dynamics, stochastic processes, and partial differential equations. This book is an essential resource for researchers, academicians, and practitioners in the field of mathematicalmodeling.
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller3-star sellerCondition: New
US$ 59.30
US$ 6.30 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer Nature Switzerland, Springer International Publishing Dez 2023 2023
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 69.47
US$ 26.36 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS2023, held in Marrakech, Morocco, during October 18-20, 2023.The 12 full…papers included in this book were carefully reviewed and selected from 36 submissions.The topics presented covered a range of subjects, including approachesto improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks. 200 pp. Englisch.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 95.46
US$ 8.58 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand.
Language: English
Published by LAP LAMBERT Academic Publishing Okt 2010 2010
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 80.28
US$ 26.36 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are interested in model-based testing for real- time systems. Specifically, we study two classes of problems: (I) state identification problems and (II) black-box conformance testing. For state identification problems, we are giv…en the model of a machine with an initial unknown state and we look for an experiment to apply to identify the initial unknown state or the final state to which the machine has moved. For black-box conformance testing, we are given a model of the machine and we want to check whether the machine conforms to its model or not. Before solving state identification problems for timed automata, we study these problems for the case of finite state transducers. For conformance testing, we consider two types of tests: analog-clock and digital-clock tests. We propose a technique for location, edge and state coverage of the specification, by reducing the problem to covering a symbolic reachability graph. We also propose digital- clock test generation techniques based on action refinement. We report on a prototype tool and four case studies: a lighting device, the Bounded Retransmission Protocol, the K9 Mars Rover and the Dala Robot. 192 pp. Englisch.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 101.71
US$ 11.40 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.
- Softcover
- Print on Demand
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 65.18
US$ 56.15 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Krichen MoezMoez Krichen obtained his PhD in Computer Science at the University of Joseph Fourrier, Grenoble. He is currently Associate professor at the Higher Institute of Computer Science and Multimed…ia of Sfax (ISIMS)and Member.
Language: English
Published by VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG 2010
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 121.63
US$ 8.58 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 192 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
Language: English
Published by VDM Verlag Dr. Mueller Aktiengesellschaft & Co. KG 2010
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 129.54
US$ 11.40 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 192.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 69.47
US$ 68.77 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Factorization of the state space construction for cyclic systems with data.- Verified High Performance Computing: the Approach.- A QoE driven DRL approach for network slicing based on SFC orchestration in SDN/NFV enabled networks.- On L…anguage-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation.- An Enhanced Interface-based Probabilistic Compositional Verification Approach.- A sound abstraction method towards efficient neural networks verification.- Towards Formal Verification of Node RED-based IoT Applications.- Formal Verification of a Post-Quantum Signal Protocol with Tamarin.- A Comparative Study of Online Cybersecurity Training Platforms.- White-Box Mutation Testing of Smart Contracts: A Quick Review.- Blockchain-based Trust Management for IoMT Environment.- Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions In Changing Contexts.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 200 pp. Englisch.
Language: English
Published by LAP LAMBERT Academic Publishing Okt 2010 2010
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 80.28
US$ 68.77 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -We are interested in model-based testing for real- time systems. Specifically, we study two classes of problems: (I) state identification problems and (II) black-box conformance testing. For state identification problems, we are given t…he model of a machine with an initial unknown state and we look for an experiment to apply to identify the initial unknown state or the final state to which the machine has moved. For black-box conformance testing, we are given a model of the machine and we want to check whether the machine conforms to its model or not. Before solving state identification problems for timed automata, we study these problems for the case of finite state transducers. For conformance testing, we consider two types of tests: analog-clock and digital-clock tests. We propose a technique for location, edge and state coverage of the specification, by reducing the problem to covering a symbolic reachability graph. We also propose digital- clock test generation techniques based on action refinement. We report on a prototype tool and four case studies: a lighting device, the Bounded Retransmission Protocol, the K9 Mars Rover and the Dala Robot.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 192 pp. Englisch.
