CodoMo simplifie la vérification des modèles, garantissant des opérations de drones sécurisées grâce à une vérification logicielle efficace.
Yojiro Harie, Yuto Ogata, Gautam Bishnu Prasad
― 7 min lire
New Science Research Articles Everyday
CodoMo simplifie la vérification des modèles, garantissant des opérations de drones sécurisées grâce à une vérification logicielle efficace.
Yojiro Harie, Yuto Ogata, Gautam Bishnu Prasad
― 7 min lire