• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% rabatt på allt med kod: NYSTART10 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI
    3. Artificiell intelligens

    Verification and Evaluation of Computer and Communication Systems

    17th International Conference, VECoS 2024, Djerba, Tunisia, October 16–18, 2024, Proceedings

    AvBelgacem Ben Hedia,Mohamed Ghazel

    Häftad, Engelska, 2025

    Del 15466 i serien Lecture Notes in Computer Science

    729 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    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.

    Produktinformation

    • Utgivningsdatum:2025-04-17
    • Mått:155 x 235 x 15 mm
    • Vikt:411 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:250
    • Förlag:Springer International Publishing AG
    • ISBN:9783031853555

    Utforska kategorier

    • Artificiell intelligens inom Data och IT
    • Hårdvara inom Data och IT

    Innehållsförteckning

    • .- Formal Verification of Coupled Transmission Lines using Theorem Proving..- Optimizing Label Coverage using Regular Expression-Based Linear Programming..- Formal Verification of Declarative Specifications of BPs: DCR2CPN based Approach..- Toward Green Data Lake Management and Analysis through a CTMC Model..- A High Parallelization Method for Automated Formal Verification of Deep Neural Networks..- Monitoring of Neural Network Classifiers using Neuron Activation Paths..- Formal Security Analysis of Deep Neural Network Architecture..- Intrusion Detection using an enhancement Bi-LSTM Recurrent Neural Network model..- A Formal Approach for Verifying and Validating Security Objectives in Software Architecture..- Supervisory Control of Cyber-Physical Systems Using Labeled Petri Nets Under Sensor and Actuator Attacks..- ERTMS/ETCS L3: Usable Formal Models for the “Loss of Train Integrity” Operation Scenario..- Towards a Model for Energy-Efficient and Flexible IoT Systems..- Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints..- A Reliable and Resource-Aware Federated Learning Solution by Decentralizing Client Selection for IoT Devices..- DRL based SFC Orchestration in SDN/NFV Environments subject to Transient Unavailability.