paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Contrôler dans Paprika
Contrôle Paprika
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 140725393Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/140725393/idCopier cet URI
Notice de type Personne

Point d'accès autorisé

Lang, Frédéric (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)
Date de naissance :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Spécialisé en informatique

Note publique d'information : 
Directeur de thèse à l'Institut national polytechnique de Grenoble, en poste au Laboratoire d'Informatique de Grenoble (LIG)

Identifiants externes

Identifiant HAL : frederic-lang
Identifiant VIAF : http://viaf.org/viaf/195170747
Identifiant ORCID : 0000-0002-5221-3353
Identifiant SCOPUS : 57204091956
Identifiant ISNI : 000000013941492X

Source

Modèles de la bêta-réduction pour les implantations / Frédéric Lang ; sous la dir. de Pierre Lescanne, 1998.- Thèse de doctorat : Sciences appliquée : Lyon, École normale supérieure (sciences) : 1998
Un modèle intermédiaire pour la vérification des systèmes asynchrones embarqués en temps réel : définition et application du langage ATLANTIF[Thèse imprimée 2009] / Jan Stöcker

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