https://data.archives-ouvertes.fr/author/907587

https://data.archives-ouvertes.fr/author/907587

http://xmlns.com/foaf/0.1/topic_interest MDE
http://xmlns.com/foaf/0.1/firstName Mounira
http://xmlns.com/foaf/0.1/topic_interest Proof assistant
http://xmlns.com/foaf/0.1/topic_interest Model driven engineering
http://xmlns.com/foaf/0.1/topic_interest Ingénierie dirigée par les Modèles
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest Vérification et validation
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-es
http://xmlns.com/foaf/0.1/topic_interest MOF
http://xmlns.com/foaf/0.1/topic_interest Assemblage
http://xmlns.com/foaf/0.1/topic_interest Verification and Validation
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest Modeling languages
http://xmlns.com/foaf/0.1/name Mounira Kezadri
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/spi.other
http://xmlns.com/foaf/0.1/topic_interest Ontology
http://xmlns.com/foaf/0.1/familyName Kezadri
http://xmlns.com/foaf/0.1/mbox_sha1sum 5bb2be1ee6dea042fe8378ccc293eabb
http://xmlns.com/foaf/0.1/topic_interest Ontologie
http://www.w3.org/2002/07/owl#sameAs 176661654
http://xmlns.com/foaf/0.1/topic_interest Formalisation
http://xmlns.com/foaf/0.1/topic_interest Formal verification
http://xmlns.com/foaf/0.1/topic_interest Assistant à la preuve
http://xmlns.com/foaf/0.1/topic_interest Composition
https://aurehal.archives-ouvertes.fr/author/907587

Télécharger au format  
RDF/XML Turtle N3 Json