https://www-apr.lip6.fr/~mine/

MINÉ Antoine

Photo Giáo sư
Nhóm nghiên cứu : APR
Địa chỉ : Jussieu
    UPMC - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 3, Bureau 311
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 87 84, Antoine.Mine (at) nulllip6.fr
https://www-apr.lip6.fr/~mine/

Hoạt động nghiên cứu

Méthodes de vérification automatique de la sûreté des logiciels informatiques : analyse statique sémantique des programmes, découverte d'invariants, interprétation abstraite, application à la vérification des logiciels embarqués critiques (logiciels avioniques, automobiles, ...).

2 Nghiên cứu sinh (Ban lãnh đạo nghiên cứu / Đồng hướng dẫn)

Bài báo khoa học 2015-2017

 Mentions légales
Sơ đồ site |