La démocratisation des méthodes de preuve formelle est en marche
Publié le 06-06-2013
par Francois Gauthier
Initié en 2010, doté d'une enveloppe globale de 3,9 millions d’euros et financé à hauteur de 1,4 million par les pouvoirs publics dans le cadre du pôle de compétitivité Systematic, le projet de recherche industrielle Hi-Lite trouve...
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)
- 20/06/2013 – Oracle persiste pour installer Java dans les systèmes embarqués fortement contraints
- 18/06/2013 – Atollic zoome sur la qualité logicielle avec son environnement pour cœurs Cortex d'ARM
- 11/06/2013 – Green Hills et Symphony Teleca concoctent une solution Ethernet AVB sécurisée pour l’automobile
- 04/06/2013 – Altera va utiliser la technologie de Network-On-Chip d’Arteris
- 31/05/2013 – Les environnements de Lattice s’adaptent aux contraintes de la basse consommation
- 24/05/2013 – L'analyse de développements logiciels basés modèles pour l’automobile s'accélère
