Votre recherche
Vérification de Machines Abstraites pour les Systèmes d’Exploitation – VeriAMOS
Les Systèmes d'Exploitation généralistes comme Linux sont de plus en plus utilisés dasn des systèmes embarqués critiques, dans l'automobile, le secteur médical et les systèmes cyber-physiques. Tout
Vérification automatisée de systèmes logiciels – AVERISS
La vérification de programmes est une tˆache difficile qui repr´esente un th`eme de recherche important. L'objectif de ce projet est de fournir des techniques avanc´ees pour la v´erification automati
Vérification Formelle de Composants Distribués – PiCoq
L'utilisation croissante de systèmes informatiques rend nécessaire une analyse rigoureuse de leurs propriétés, pour spécifier et prouver des garanties sur leurs comportements. De nombreux systèmes é
Vélocimétrie intraventriculaire 4-D par écho-Doppler – 4D-iVFM
Le vortex sanguin intracardiaque se formant durant la diastole, mesuré par CMR-4D (résonance magnétique cardiaque, 4-D = 3-D + temps), reflète la capacité de remplissage du cœur. L’imagerie de flux pa
Vélocimétrie Instantanée Volumique pour les Ecoulements Tridimensionnels – VIVE3D
La majorité des écoulements qui font aujourd'hui l'objet d'études académiques ou de l'intérêt des industriels présentent un caractère fortement tridimensionnel et très souvent instationnaire. Bien que
Véhicules pour les Transports Terrestres (VTT)
Consultez la liste des projets financés ainsi que leurs résumés Le programme VTT s'inscrit dans la lignée des conclusions du Grenelle de l'environnement et dans la logique de travaux du PR
Véhicules Industriels et usagers Vulnérables de la RoutE – VIVRE 2
Les solutions techniques conçues pour éviter les accidents impliquant des camions ou protéger les autres usagers de la route et en particuliers les usagers vulnérables concerneront toutes les gammes d
Véhicules Industriels et usagers Vulnérables de la RoutE – VIVRE 2
Les solutions techniques conçues pour éviter les accidents impliquant des camions ou protéger les autres usagers de la route et en particuliers les usagers vulnérables concerneront toutes les gammes d
Véhicules Aériens Coopératifs pour la Cartographie Non Uniforme d'Environnements Inconnus en 3D – AVENUE
L'objectif d'AVENUE est de proposer de nouvelles solutions pour générer des trajectoires en ligne pour une flotte de véhicules aériens coopératifs afin de réaliser une exploration complète et une cart