Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires Génération automatique et vérification formelle de programmes d'API sécurisés pour les systèmes de contrôle ferroviaires
Domaines
Automatique / Robotique
Origine : Fichiers produits par l'(les) auteur(s)