Filter your results
- 3
- 89
- 53
- 3
- 2
- 2
- 1
- 3
- 3
- 3
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
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 ferroviairesJournées STP du GDR MACS, 2018, Clermont-Ferrand, France
Conference papers
hal-02151107v1
|
|||
Geometric-preserving rigid motions of digital objectsJournées Informatique et Géométrie (JIG), 2018, Lyon, France
Conference papers
hal-01822122v1
|
|||
Imagerie angiographique : du réel au numérique Congrès de la Nouvelle Société Française d'Athérosclérose (NSFA), 2018, Biarritz, France
Conference papers
hal-01822189v1
|