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

Point d'accès autorisé

Thierry-Mieg, Yann (19..-....)

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
Pays : France
Date de naissance :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Auteur d'une thèse de doctorat en Informatique soutenue en 2004 à l'Université de Paris 6

Note publique d'information : 
Maître de conférences à l'Université Paris 6

Identifiants externes

Identifiant ORCID : 0000-0001-7775-1978
Identifiant VIAF : http://viaf.org/viaf/59360506
Identifiant HAL : yann-thierry-mieg
Identifiant SCOPUS : 15756194200
Identifiant ISNI : 000000000119029X

Source

Techniques pour le Model-Checking de spécifications de Haut Niveau / Yann Thierry-Mieg ; sous la direction de Fabrice Kordon, 2004

UML2 / Benoît Charroux, Aomar Osmani, Yann Thierry-Mieg, impr. 2005

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