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

Point d'accès autorisé

Nowak, David

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 : Etats-Unis
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat en Informatique (Rennes 1, 1999)

Note publique d'information : 
Chargé de recherche au sein de l'équipe 2XS (eXtra Small, eXtra Safe) du Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL - UMR CNRS 9189). Membre de l'IRCICA

Source

Configuring SAP R/3 FI/CO / Quentin Hurst, David Nowak, 2000

Le co-design d’un noyau de système d’exploitation et de sa preuve formelle d’isolation / par Narjes Jomaa ; sous la direction de Gilles Grimaud et la co-direction de David Nowak, 2018 [thèse, Université de Lille]

Spécification et preuve de systèmes réactifs / David Nowak [thèse]

Autres identifiants

Identifiant HAL : davidnowak
Identifiant VIAF : http://viaf.org/viaf/16768805

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