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

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

http://xmlns.com/foaf/0.1/topic_interest Graph rewriting
http://xmlns.com/foaf/0.1/topic_interest Valeur-graphiques
http://xmlns.com/foaf/0.1/topic_interest Graphiques de dépendance
http://xmlns.com/foaf/0.1/topic_interest Compilateur validé
http://xmlns.com/foaf/0.1/firstName van Chan
http://xmlns.com/foaf/0.1/topic_interest Program Verification
http://xmlns.com/foaf/0.1/topic_interest Compilation
http://xmlns.com/foaf/0.1/topic_interest Translation Validation
http://xmlns.com/foaf/0.1/topic_interest SystemC
http://xmlns.com/foaf/0.1/topic_interest Graphique réécriture
http://xmlns.com/foaf/0.1/topic_interest Code Generator
http://xmlns.com/foaf/0.1/topic_interest Systèmes embarqués
http://xmlns.com/foaf/0.1/topic_interest Probabilistic Assertion
http://www.w3.org/2002/07/owl#sameAs 180731211
http://xmlns.com/foaf/0.1/mbox_sha1sum aa90a160edb2e7e2e6c7c03cfe7f2397
http://xmlns.com/foaf/0.1/topic_interest Temporal properties
http://xmlns.com/foaf/0.1/topic_interest Safety-critical systems
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/topic_interest Graph Transformation
http://xmlns.com/foaf/0.1/topic_interest Certified com-piler
http://xmlns.com/foaf/0.1/topic_interest Embedded Systems
http://xmlns.com/foaf/0.1/topic_interest Polychrony
http://xmlns.com/foaf/0.1/topic_interest SMT solving
http://xmlns.com/foaf/0.1/topic_interest Systèmes critiques
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-es
http://xmlns.com/foaf/0.1/topic_interest Certified Compiler
http://xmlns.com/foaf/0.1/topic_interest Petri Nets
http://xmlns.com/foaf/0.1/topic_interest Value-Graphs
http://xmlns.com/foaf/0.1/topic_interest Polychronous Models
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pf
http://xmlns.com/foaf/0.1/topic_interest Synchronous data-flow languages
http://xmlns.com/foaf/0.1/topic_interest SMT Solver
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest Dependability Analysis
http://xmlns.com/foaf/0.1/topic_interest Value-Graph
http://xmlns.com/foaf/0.1/topic_interest Formal Verification
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Détection des blocages
http://xmlns.com/foaf/0.1/topic_interest Statistical model checking
http://xmlns.com/foaf/0.1/familyName Ngo
http://xmlns.com/foaf/0.1/topic_interest Synchronous Programs
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-mo
http://xmlns.com/foaf/0.1/topic_interest Validation de la traduction
http://xmlns.com/foaf/0.1/topic_interest Multi-clocked Synchronous Programs
http://xmlns.com/foaf/0.1/topic_interest Dependency graphs
http://xmlns.com/foaf/0.1/topic_interest Quatitative verification
http://xmlns.com/foaf/0.1/topic_interest Statis-tical Model Checking
http://xmlns.com/foaf/0.1/topic_interest Vérification formelle
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-sc
http://xmlns.com/foaf/0.1/topic_interest Validated Compiler
http://xmlns.com/foaf/0.1/topic_interest Modèles polychrones
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/van-chan-ngo
http://xmlns.com/foaf/0.1/topic_interest Deadlock detection
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest Programmes synchrones
http://xmlns.com/foaf/0.1/name van Chan Ngo
https://aurehal.archives-ouvertes.fr/author/1418

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