Bourbouh, Hamza (19..-....)

Bourbouh, Hamza (19..-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 235056235

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

Notice de type Personne

Point d'accès autorisé

Bourbouh, Hamza (19..-....)

Nom à l'état civil

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

Date de naissance : 19..

Genre : Masculin

Notes

Note publique d'information :

Co-auteur d'une communication en informatique

Note publique d'information :

Auteur d'une thèse en Informatique et Télécommunications à Toulouse, ISAE-SUPAERO en 2023

Note publique d'information :

Membre du laboratoire DISC (ISAE-SUPAERO) (en 2017)

Source

Automated analysis of Stateflow models / Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux. In : 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), 07-12 May 2017 , Maun, Botswana

Compilation et vérification formelle de modèles à base d'automates et de flots de données pour les systèmes critiques / Hamza Bourbouh ; sous la direction de Pierre-Loïc Garoche. Thèse de doctorat : Informatique et Télécommunications : Toulouse, ISAE-SUPAERO : 2023

Identifiants externes

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

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

Informations sur la notice

Identifiant de la notice : 235056235

RCR créateur de la notice : 315550001

Date de création : 05-04-2019

RCR dernier modificateur de la notice : 315550001

Date de dernière modification : 04-10-2023 à 12 h 38

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