dataHAL.science
Support
https://data.archives-ouvertes.fr/author/830614
https://data.archives-ouvertes.fr/author/830614
http://xmlns.com/foaf/0.1/topic_interest
Operator
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest
Development
http://xmlns.com/foaf/0.1/topic_interest
Formal methods
http://xmlns.com/foaf/0.1/familyName
Jacquot
http://xmlns.com/foaf/0.1/topic_interest
Consistency
http://xmlns.com/foaf/0.1/topic_interest
Multi-view
http://xmlns.com/foaf/0.1/topic_interest
Domaine du transport
http://xmlns.com/foaf/0.1/mbox_sha1sum
dfb8eee410311b6dadc19a1df5bbf3ee
http://xmlns.com/foaf/0.1/topic_interest
Vérification
http://xmlns.com/foaf/0.1/topic_interest
Specification
http://xmlns.com/foaf/0.1/topic_interest
B événementiel
http://xmlns.com/foaf/0.1/firstName
Jean-Pierre
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest
Formal validation
http://xmlns.com/foaf/0.1/topic_interest
Event-B Animation
http://xmlns.com/foaf/0.1/topic_interest
Brama
http://xmlns.com/foaf/0.1/topic_interest
Formal methodes
http://xmlns.com/foaf/0.1/topic_interest
Propriétés
http://xmlns.com/foaf/0.1/name
Jean-Pierre Jacquot
http://xmlns.com/foaf/0.1/topic_interest
Verification
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
Domain engineering
http://xmlns.com/foaf/0.1/topic_interest
Animation
http://xmlns.com/foaf/0.1/topic_interest
Event-B
http://xmlns.com/foaf/0.1/topic_interest
UML
https://aurehal.archives-ouvertes.fr/author/830614
Télécharger au format
RDF/XML
Turtle
N3
Json