dataHAL.science
Support
https://data.archives-ouvertes.fr/author/885815
https://data.archives-ouvertes.fr/author/885815
http://xmlns.com/foaf/0.1/topic_interest
Code optimization
http://xmlns.com/foaf/0.1/familyName
Favre-Felix
http://xmlns.com/foaf/0.1/topic_interest
Dijkstra
http://xmlns.com/foaf/0.1/topic_interest
Workbench
http://xmlns.com/foaf/0.1/topic_interest
Toolset performance evaluation
http://xmlns.com/foaf/0.1/topic_interest
Safety critical systems
http://xmlns.com/foaf/0.1/topic_interest
Hoare
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-es
http://xmlns.com/foaf/0.1/topic_interest
Compiler verification
http://xmlns.com/foaf/0.1/topic_interest
WP
http://xmlns.com/foaf/0.1/topic_interest
Caveat
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
Proof
http://xmlns.com/foaf/0.1/topic_interest
Formal Verification
http://xmlns.com/foaf/0.1/topic_interest
WCET
http://xmlns.com/foaf/0.1/firstName
Denis
http://xmlns.com/foaf/0.1/mbox_sha1sum
69574c0fba905909775d278f96eb3e0b
http://xmlns.com/foaf/0.1/topic_interest
Optimized code generation
http://xmlns.com/foaf/0.1/name
Denis Favre-Felix
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest
Avionics software
https://aurehal.archives-ouvertes.fr/author/885815
Télécharger au format
RDF/XML
Turtle
N3
Json