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
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |