Personnaliser

OK

Informations importantes : Arrêt du Club R (13 août) et Cessation d'Activité (30 septembre)

En savoir plus.

Verification and Evaluation of Computer and Communication Systems -

Note : 0

0 avis
  • Soyez le premier à donner un avis

87,56 €

Produit Neuf

  • Ou 21,89 € /mois

    • Livraison : 3,99 €
    • Livré entre le 29 août et le 4 septembre
    Voir les modes de livraison

    M_plus_L

    PRO Vendeur favori

    4,8/5 sur + de 1 000 ventes

    Publicité
     
    Vous avez choisi le retrait chez le vendeur à
    • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
    • Récupérez le produit directement chez le vendeur
    • Rakuten vous rembourse en cas de problème

    Gratuit et sans engagement

    Félicitations !

    Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

    En savoir plus

    Retour

    Horaires

        Note :


        Avis sur Verification And Evaluation Of Computer And Communication Systems de Format Broché  - Livre Informatique

        Note : 0 0 avis sur Verification And Evaluation Of Computer And Communication Systems de Format Broché  - Livre Informatique

        Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


        Présentation Verification And Evaluation Of Computer And Communication Systems de Format Broché

         - Livre Informatique

        Livre Informatique - 01/12/2023 - Broché - Langue : Anglais

        . .

      • Editeur : Springer International Publishing Ag
      • Langue : Anglais
      • Parution : 01/12/2023
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 200
      • Expédition : 312
      • Dimensions : 23.5 x 15.5 x 1.2
      • ISBN : 9783031497360



      • Résumé :
        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.
        ...

        Biographie:
        Verified High Performance Computing: the Approach.- ...

        Sommaire:
        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....

        Détails de conformité du produit

        Consulter les détails de conformité de ce produit (

        Personne responsable dans l'UE

        )
        Le choixNeuf et occasion
        Le service clientsÀ votre écoute
        LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
        visavisa
        mastercardmastercard
        klarnaklarna
        paypalpaypal
        floafloa
        americanexpressamericanexpress
        Rakuten Logo
        • Rakuten Kobo
        • Rakuten TV
        • Rakuten Viber
        • Rakuten Viki
        • Plus de services
        • À propos de Rakuten
        Rakuten.com