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

Point d'accès autorisé

Attiogbé, Christian

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

Notes

Note publique d'information : 
En poste au Laboratoire IRIN, Université de Nantes (en 1998)

Note publique d'information : 
Professeur de l'Université de Nantes, en 2011

Identifiants externes

Identifiant HAL : christian-attiogbe
Identifiant ORCID : 0000-0002-7815-1752
Identifiant VIAF : http://viaf.org/viaf/10008418
Identifiant SCOPUS : 57195102478
Identifiant ISNI : 0000000000701035

Source

Comparing systems specification techniques "What questions are prompted by ones particular method of specification ?", 1998

Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérification de contrats / Mohamed El-Habib Messabihi [thèse] ; sous la direction de Christian Attiogbé ; co-encadrant de thèse Pascal André

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