Search - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804 Access content directly

Filter your results

3 Results
Deposit type : Annex

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

Mohamed Niang , Bernard Riera , Philippot Alexandre , Serge Debernard
Journées STP du GDR MACS, 2018, Clermont-Ferrand, France
Conference papers hal-02151107v1

Geometric-preserving rigid motions of digital objects

Phuc Ngo , Nicolas Passat , Yukiko Kenmochi , Isabelle Debled-Rennesson
Journées Informatique et Géométrie (JIG), 2018, Lyon, France
Conference papers hal-01822122v1

Imagerie angiographique : du réel au numérique

Nicolas Passat , Stéphanie Salmon
Congrès de la Nouvelle Société Française d'Athérosclérose (NSFA), 2018, Biarritz, France
Conference papers hal-01822189v1