Atjaunināt sīkdatņu piekrišanu

E-grāmata: Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings

Edited by , Edited by , Edited by
  • Formāts: EPUB+DRM
  • Sērija : Lecture Notes in Computer Science 14368
  • Izdošanas datums: 18-Dec-2023
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783031497377
Citas grāmatas par šo tēmu:
  • Formāts - EPUB+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, ProceedingsPalielināt
  • Formāts: EPUB+DRM
  • Sērija : Lecture Notes in Computer Science 14368
  • Izdošanas datums: 18-Dec-2023
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783031497377
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

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.
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 Language-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.
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97830314973776e.html