Personnaliser

OK

Development and Formal Verification of TTCAN - Leen, Gabriel

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Prix neuf 149,62 €

-37%

Qu'est-ce que le prix barré ?

C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.

En savoir plus

92,99 €

Occasion · Très Bon État

  • Ou 23,25 € /mois

    • Livraison : 25,00 €
    • Livré entre le 11 et le 21 mai
    Voir les modes de livraison

    USAMedia

    PRO Vendeur favori

    4,6/5 sur + de 1 000 ventes

    Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus
    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 Development And Formal Verification Of Ttcan Format Broché  - Livre Encyclopédies, Dictionnaires

        Note : 0 0 avis sur Development And Formal Verification Of Ttcan Format Broché  - Livre Encyclopédies, Dictionnaires

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


        Présentation Development And Formal Verification Of Ttcan Format Broché

         - Livre Encyclopédies, Dictionnaires

        Livre Encyclopédies, Dictionnaires - Leen, Gabriel - 01/01/2010 - Broché - Langue : Anglais

        . .

      • Auteur(s) : Leen, Gabriel
      • Editeur : Lap Lambert Academic Publishing
      • Langue : Anglais
      • Parution : 01/01/2010
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 224.0
      • ISBN : 9783838337289



      • Résumé :
        Analysis estimates that more than 80% of all current innovations within vehicles are based on distributed electronic systems. Critical to the functionality and application domain of such systems are the services provided by the underlying distributed control networks. Current advances in control networking technology indicate that time-triggered architectures offer improvements in the deterministic behavior of such networks and as such make them particularly appropriate for safety- critical and real-time applications. This book presents novel work on the formal specification and formal verification of a new time-triggered protocol: ISO 11898-4 (draft), time triggered communication on Controller Area Network (TTCAN). TTCAN is based on the most widely adopted in-vehicle network - Controller Area Network (CAN). The formal verification research described has been conducted in parallel with the development of the International Standards Organisation TTCAN protocol specification....

        Détails de conformité du produit

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

        Personne responsable dans l'UE

        )
        Le choixNeuf et occasion
        Minimum5% remboursés
        La sécuritéSatisfait ou remboursé
        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