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

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

http://xmlns.com/foaf/0.1/topic_interest Robot programming
http://xmlns.com/foaf/0.1/topic_interest Semantics
http://xmlns.com/foaf/0.1/topic_interest First programming language
http://xmlns.com/foaf/0.1/topic_interest Autonomous systems
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/mohammed-foughali
http://xmlns.com/foaf/0.1/topic_interest Temps réel
http://www.w3.org/2002/07/owl#sameAs 23504217X
http://xmlns.com/foaf/0.1/name Mohammed Foughali
http://xmlns.com/foaf/0.1/topic_interest Model transformation
http://xmlns.com/foaf/0.1/topic_interest Real-time
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest Time Petri Nets
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-sc
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-rb
http://xmlns.com/foaf/0.1/topic_interest Software engineering
http://xmlns.com/foaf/0.1/topic_interest Validation and verification
http://xmlns.com/foaf/0.1/topic_interest Model checking
http://xmlns.com/foaf/0.1/topic_interest Model-driven engineering
http://xmlns.com/foaf/0.1/topic_interest Transition systems
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Robotics
http://xmlns.com/foaf/0.1/topic_interest Integer linear programming
http://xmlns.com/foaf/0.1/familyName Foughali
http://xmlns.com/foaf/0.1/mbox_sha1sum 05aa470b3774b33ad927d6628168d698
http://xmlns.com/foaf/0.1/topic_interest Formal methods
http://xmlns.com/foaf/0.1/topic_interest Informatique
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/spi.auto
http://xmlns.com/foaf/0.1/topic_interest Robotic Software
http://xmlns.com/foaf/0.1/topic_interest Urgency
http://xmlns.com/foaf/0.1/topic_interest Real-time systems
http://xmlns.com/foaf/0.1/topic_interest Timed automata
http://xmlns.com/foaf/0.1/topic_interest Compositional verification
http://xmlns.com/foaf/0.1/topic_interest Robotique
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ds
http://xmlns.com/foaf/0.1/topic_interest Binary search
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-es
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/firstName Mohammed
http://xmlns.com/foaf/0.1/topic_interest Runtime verification
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest Méthode formelle
http://xmlns.com/foaf/0.1/topic_interest Concurrency
http://xmlns.com/foaf/0.1/topic_interest Computer science
http://xmlns.com/foaf/0.1/topic_interest Formal Verification
http://xmlns.com/foaf/0.1/topic_interest Schedulability analysis
http://xmlns.com/foaf/0.1/topic_interest CS1 & CS2
http://xmlns.com/foaf/0.1/topic_interest Introductory programming
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
https://aurehal.archives-ouvertes.fr/author/176014

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