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

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

http://xmlns.com/foaf/0.1/topic_interest Probabilistic Assertion
http://xmlns.com/foaf/0.1/topic_interest Architecture description language
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cr
http://xmlns.com/foaf/0.1/topic_interest Embedded systems
http://xmlns.com/foaf/0.1/topic_interest Statis-tical Model Checking
http://xmlns.com/foaf/0.1/topic_interest Knowledge
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/topic_interest Dynamic software architecture
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ds
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-es
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/jean-quilbeuf
http://xmlns.com/foaf/0.1/topic_interest Priority
http://www.w3.org/2002/07/owl#sameAs 18625976X
http://xmlns.com/foaf/0.1/topic_interest BIP
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dc
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-it
http://xmlns.com/foaf/0.1/topic_interest Program Verification
http://xmlns.com/foaf/0.1/topic_interest Software Tools
http://xmlns.com/foaf/0.1/topic_interest Constraint Programming
http://xmlns.com/foaf/0.1/topic_interest Interactions multiparties
http://xmlns.com/foaf/0.1/topic_interest Multiparty interaction
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/topic_interest Component-based modeling
http://xmlns.com/foaf/0.1/topic_interest Automated transformation
http://xmlns.com/foaf/0.1/topic_interest Runtime Verification
http://xmlns.com/foaf/0.1/topic_interest Vérification statistique de modèles
http://xmlns.com/foaf/0.1/topic_interest Génération de code
http://xmlns.com/foaf/0.1/topic_interest Software Architecture
http://xmlns.com/foaf/0.1/topic_interest Système de systèmes
http://xmlns.com/foaf/0.1/topic_interest Temporal properties
http://xmlns.com/foaf/0.1/topic_interest Simulation
http://xmlns.com/foaf/0.1/mbox_sha1sum 8bc375ef0bcabc6cae56f7001252ab79
http://xmlns.com/foaf/0.1/topic_interest Empirical studies
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest Multiparty Interactions
http://xmlns.com/foaf/0.1/topic_interest Code generation
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-rb
http://xmlns.com/foaf/0.1/topic_interest Committee coordination
http://xmlns.com/foaf/0.1/topic_interest Quatitative verification
http://xmlns.com/foaf/0.1/topic_interest Distributed System
http://xmlns.com/foaf/0.1/topic_interest Tool-chain
http://xmlns.com/foaf/0.1/topic_interest Observation
http://xmlns.com/foaf/0.1/topic_interest Priorities
http://xmlns.com/foaf/0.1/topic_interest Systems-of-Systems
http://xmlns.com/foaf/0.1/topic_interest Malware analysis
http://xmlns.com/foaf/0.1/topic_interest Statistical model checking
http://xmlns.com/foaf/0.1/topic_interest Symbolic execution
http://xmlns.com/foaf/0.1/topic_interest Tool- chain
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-sy
http://xmlns.com/foaf/0.1/topic_interest SystemC
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-se
http://xmlns.com/foaf/0.1/topic_interest Partial Observation
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-sc
http://xmlns.com/foaf/0.1/topic_interest Correctness-by-construction
http://xmlns.com/foaf/0.1/topic_interest Systèmes distribués
http://xmlns.com/foaf/0.1/topic_interest Formal verification
http://xmlns.com/foaf/0.1/familyName Quilbeuf
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/stat.ap
http://xmlns.com/foaf/0.1/topic_interest System call dependency graph
http://xmlns.com/foaf/0.1/topic_interest Conflict resolution
http://xmlns.com/foaf/0.1/topic_interest Satisfiability Mod-ulo Theories SMT
http://xmlns.com/foaf/0.1/topic_interest Systèmes embarqués
http://xmlns.com/foaf/0.1/topic_interest Systems of systems
http://xmlns.com/foaf/0.1/name Jean Quilbeuf
http://xmlns.com/foaf/0.1/topic_interest Distributed systems
http://xmlns.com/foaf/0.1/firstName Jean
http://xmlns.com/foaf/0.1/topic_interest FMI
https://aurehal.archives-ouvertes.fr/author/1485

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