paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 177435518Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Fortin, Jean (1985-....)

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 : Anglais,Francais
Pays : France
Date de naissance :    1985
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat en Informatique (Université Paris-Est, 2013)

Source

BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms / par Jean Fortin ; sous la direction de Frédéric Gava, 2013 [thèse]

Autres identifiants

Identifiant VIAF : http://viaf.org/viaf/308304294

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

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