• 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

Upp till 20% på populära nyheter →

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

    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 @ 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. Nätverk och kommunikation

      Verification and Evaluation of Computer and Communication Systems

      15th International Conference, VECoS 2021, Virtual Event, November 22–23, 2021, Revised Selected Papers

      AvAyoub Nouri,Weimin Wu

      Häftad, Engelska, 2022

      Del 13187 i serien Lecture Notes in Computer Science

      634 kr

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

      Beskrivning

      This book constitutes the proceedings of the 15th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2021, which took place in November 2021. Due to COVID-19 pandemic the conference was held virtually.The 5 full papers presented in this volume were carefully reviewed and selected from 12 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.

      Produktinformation

      • Utgivningsdatum:2022-03-19
      • Mått:155 x 235 x 7 mm
      • Vikt:172 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:91
      • Förlag:Springer Nature Switzerland AG
      • ISBN:9783030988494

      Utforska kategorier

      • Nätverk och kommunikation inom Data och IT
      • Artificiell intelligens inom Data och IT

      Innehållsförteckning

      • On Decentralized Monitoring.- Roles and Responsibilities for a Predictable Update Process – A Position Paper.- Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation.- SMT-based Unbounded Model Checking for ATL.- Handling of Operating Modes in Contract-based Timing Specifications.- Coalition formation with multiple alternatives of interdependent tasks.
      Hoppa över listan

      Du kanske också är intresserad av

      ZhiWu Li, Kamel Barkaoui, Weimin Wu, Ayoub Nouri - Verification and Evaluation of Computer and Communication Systems, E-bok

      Verification and Evaluation of Computer and Communication Systems

      ZhiWu Li, Kamel Barkaoui, Weimin Wu, Ayoub Nouri

      E-bok
      2022

      821 kr

      Xi Wang, ZhiWu Li - Scheduling and Reconfiguration of Real-Time Systems, Inbunden

      Scheduling and Reconfiguration of Real-Time Systems

      Xi Wang, ZhiWu Li

      Inbunden, 2023

      1 888 kr

      ZhiWu Li, MengChu Zhou - Deadlock Resolution in Automated Manufacturing Systems, Häftad

      Deadlock Resolution in Automated Manufacturing Systems

      ZhiWu Li, MengChu Zhou

      Häftad, 2010

      1 113 kr

      ZhiWu Li, MengChu Zhou - Deadlock Resolution in Automated Manufacturing Systems, Inbunden

      Deadlock Resolution in Automated Manufacturing Systems

      ZhiWu Li, MengChu Zhou

      Inbunden, 2009

      1 113 kr

      MengChu Zhou, ZhiWu Li - Deadlock Resolution in Automated Manufacturing Systems, E-bok

      Deadlock Resolution in Automated Manufacturing Systems

      MengChu Zhou, ZhiWu Li

      E-bok
      2009

      1 427 kr

      ZhiWu Li, Xi Wang - Scheduling and Reconfiguration of Real-Time Systems, E-bok

      Scheduling and Reconfiguration of Real-Time Systems

      ZhiWu Li, Xi Wang

      E-bok
      2023

      2 392 kr

      Zhiwu Li, Abdulrahman M. Al-Ahmari - Formal Methods in Manufacturing Systems, Inbunden

      Formal Methods in Manufacturing Systems

      Zhiwu Li, Abdulrahman M. Al-Ahmari

      Inbunden, 2013

      1 745 kr

      Zhiwu Li, Ayesha Sohail - Computational Approaches in Biomedical Nano-Engineering, E-bok

      Computational Approaches in Biomedical Nano-Engineering

      Zhiwu Li, Ayesha Sohail

      E-bok
      2018

      2 053 kr

      Yufeng Chen, Zhiwu Li - Optimal Supervisory Control of Automated Manufacturing Systems, Inbunden

      Optimal Supervisory Control of Automated Manufacturing Systems

      Yufeng Chen, Zhiwu Li

      Inbunden, 2013

      1 797 kr

      Zhiwu Li, Yufeng Chen - Optimal Supervisory Control of Automated Manufacturing Systems, E-bok

      Optimal Supervisory Control of Automated Manufacturing Systems

      Zhiwu Li, Yufeng Chen

      E-bok
      2013

      1 022 kr