Pessaux, François

Pessaux, François

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 180411071

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

Notice de type Personne

Point d'accès autorisé

Pessaux, François

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

Notes

Note publique d'information :

Professeur associé à l'Unité d'informatique et d'ingénierie des systèmes (U2IS) de l'ENSTA Paris

Identifiants externes

Identifiant HAL : francois-pessaux

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

Identifiant SCOPUS : 6507498226

Source

Analyse de dépendances ML pour les évaluateurs de logiciels critiques / Vincent Benayoun, 2014

Concepts et sémantique des langages de programmation / Thérèse Hardin, Mathieu Jaume, François Pessaux... [et al.], 2021

Information trouvée : Professeur associé à l'Unité d'informatique et d'ingénierie des systèmes (U2IS) de l'ENSTA Paris

Object-Oriented Mechanisms for Interoperability between Proof Systems / Raphaël Cauderlier, 2016. Thèse de doctorat : Informatique : Paris, CNAM : 2016

Information trouvée : Docteur, ENSTA ParisTech

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