Prove & Run partenaire sécurité de l’initiative EPI qui vise à concevoir un processeur européen ultrapuissant
Publié le 23-05-2019
par Francois Gauthier
[EDITION ABONNES] Le français Prove & Run, spécialiste des technologies reposant sur les méthodes formelles et utilisées pour développer des composants logiciels certifiables à un très haut niveau...
Je m'abonne
La lecture de cet article est réservé aux abonnés payants du site.
Pour plus de souplesse, nous vous proposons plusieurs formules d'abonnement sans aucune obligation de renouvellement :
| Durée | Type | Prix |
| 1 mois | Découverte | 25 euros HT |
| 1 an | Complet | 200 euros HT |
-dissolve-basic-fr(1).jpg)
- 04/06/2019 – Renesas donne un coup de pouce aux développements de systèmes d’assistance à la conduite ADAS
- 03/06/2019 – Ecosystème RISC-V : l’environnement d’exécution sécurisé de Hex Five disponible pour les solutions d’AdaCore
- 27/05/2019 – Automobile : Vector veut faciliter le passage vers la spécification Autosar Adaptive
- 23/05/2019 – L’environnement de développement IAR Embedded Workbench prend désormais en charge les cœurs RISC-V
- 16/05/2019 – Lacroix Electronics assure des communications sécurisées Sigfox dans un démonstrateur IoT industriel
- 13/05/2019 – Seeed Studio amène l’intelligence artificielle aux conceptions sur Raspberry Pi
