HCC propose un exécutif 100% vérifiable pour les microcontrôleurs STM32
Publié le 12-11-2013
par Pierrick Arlot
Spécialiste des intergiciels de stockage et de communication pour systèmes embarqués, l’éditeur écossais HCC-Embedded a développé un noyau enfoui intégralement vérifiable pour la famille de microcontrôleurs à...
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 |
| 6 mois | Comfort | 120 euros HT |
| 1 an | Complet | 200 euros HT |
