Actualités
En gestation depuis 2006, le projet de microkernel sécurisé seL4 bénéficie désormais d'une fondation dédiée pour garantir son ouverture et sa neutralité. Data61, UNSW Sydney, Hensoldt ...
Certains résultats ont été masqués, car ils peuvent vous être inaccessibles.
Afficher les résultats inaccessibles
Commentaires