paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 103875298Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Lanoix, Arnaud (1979-)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : français
Date de naissance :    1979
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat d'université en Informatique (Besançon, 2005)

Identifiants externes

Identifiant HAL : lanoix-a
Identifiant VIAF : http://viaf.org/viaf/190726975
Identifiant SCOPUS : 22334005700
Identifiant ISNI : 0000000356589099

Source

Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés / par Arnaud Lanoix ; sous la direction d'Olga Kouchnarenko [Thèse]

... Références liées : ...