dataHAL.science
Support
https://data.archives-ouvertes.fr/author/5442
https://data.archives-ouvertes.fr/author/5442
http://xmlns.com/foaf/0.1/topic_interest
Solution Exploration
http://xmlns.com/foaf/0.1/topic_interest
Abstract interpretation
http://xmlns.com/foaf/0.1/topic_interest
Formal System Modeling
http://xmlns.com/foaf/0.1/topic_interest
Polymer network
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/vladimir-alexandru-paun
http://xmlns.com/foaf/0.1/topic_interest
Analyse statique
http://xmlns.com/foaf/0.1/topic_interest
ASM
http://xmlns.com/foaf/0.1/topic_interest
Multiple-Views Modeling
http://xmlns.com/foaf/0.1/topic_interest
Tissue engineering
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
Complex System
http://xmlns.com/foaf/0.1/topic_interest
Hard real-time
http://xmlns.com/foaf/0.1/topic_interest
WCET
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/mbox_sha1sum
1d2cfeab569e9aab1624e9df515e6ba1
http://xmlns.com/foaf/0.1/topic_interest
Sûreté
http://xmlns.com/foaf/0.1/topic_interest
Abstract State Machine
http://xmlns.com/foaf/0.1/topic_interest
Systems Engineering
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-ar
http://xmlns.com/foaf/0.1/topic_interest
Temps réel
http://xmlns.com/foaf/0.1/topic_interest
Hypergraphs
http://xmlns.com/foaf/0.1/topic_interest
Real-time systems
http://xmlns.com/foaf/0.1/topic_interest
SystemC
http://xmlns.com/foaf/0.1/topic_interest
System verification
http://xmlns.com/foaf/0.1/topic_interest
Timed SystemC waiting state automata
http://xmlns.com/foaf/0.1/topic_interest
Worst-case execution time
http://xmlns.com/foaf/0.1/topic_interest
Embedded systems
http://xmlns.com/foaf/0.1/familyName
Paun
http://xmlns.com/foaf/0.1/topic_interest
Certification
http://xmlns.com/foaf/0.1/topic_interest
Timing analysis
http://xmlns.com/foaf/0.1/topic_interest
Symbolic execution
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/phys
http://xmlns.com/foaf/0.1/topic_interest
Porosity
http://www.w3.org/2002/07/owl#sameAs
177804955
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/math.math-mp
http://xmlns.com/foaf/0.1/topic_interest
Hard real-time systems
http://xmlns.com/foaf/0.1/topic_interest
SCAFFOLDS
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/firstName
Vladimir-Alexandru
http://xmlns.com/foaf/0.1/name
Vladimir-Alexandru Paun
http://xmlns.com/foaf/0.1/topic_interest
Determinism
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/spi.auto
http://xmlns.com/foaf/0.1/topic_interest
Pire-temps d'exécution
http://xmlns.com/foaf/0.1/topic_interest
Multi-core
http://xmlns.com/foaf/0.1/topic_interest
TRANSPORT
http://xmlns.com/foaf/0.1/topic_interest
Hard-real time systems
https://aurehal.archives-ouvertes.fr/author/5442
Télécharger au format
RDF/XML
Turtle
N3
Json