Vekris, Dimitrios (1985-....)

Vekris, Dimitrios (1985-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 184751683

URI de l'entité : http://www.idref.fr/184751683/id

Notice de type Personne

Point d'accès autorisé

Vekris, Dimitrios (1985-....)

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 : anglais

Pays : Grèce

Date de naissance : 1985

Genre : Masculin

Notes

Note publique d'information :

Titulaire d'un doctorat en Informatique (Université Paris-Est, 2014)

Identifiants externes

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

Identifiant SCOPUS : 55893995500

Source

Vérification de spécifications EB-3 à l'aide de techniques de model-checking / Dimitrios Vekris ; sous la direction de Catalin Dima. Thèse de doctorat : Informatique : Paris Est : 2014

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