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

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

http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ni
http://www.w3.org/2002/07/owl#sameAs 152855831
http://xmlns.com/foaf/0.1/topic_interest Méthodes formelles
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pf
http://xmlns.com/foaf/0.1/topic_interest Defence
http://xmlns.com/foaf/0.1/topic_interest Nondeterminism
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest Supervision
http://xmlns.com/foaf/0.1/topic_interest Statistical estimation
http://xmlns.com/foaf/0.1/topic_interest Importance sampling
http://xmlns.com/foaf/0.1/topic_interest Rewards
http://xmlns.com/foaf/0.1/topic_interest Formal methods
http://xmlns.com/foaf/0.1/topic_interest Time Petri nets
http://xmlns.com/foaf/0.1/topic_interest Confidence interval
http://xmlns.com/foaf/0.1/topic_interest Energy
http://xmlns.com/foaf/0.1/topic_interest Model-checking
http://xmlns.com/foaf/0.1/topic_interest Robustness
http://xmlns.com/foaf/0.1/familyName Traonouez
http://xmlns.com/foaf/0.1/topic_interest State-class graph
http://xmlns.com/foaf/0.1/topic_interest Hybrid method
http://xmlns.com/foaf/0.1/topic_interest Symbolic methods
http://xmlns.com/foaf/0.1/topic_interest Real-time 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 Scheduling
http://xmlns.com/foaf/0.1/topic_interest Time Petri Nets
http://xmlns.com/foaf/0.1/topic_interest Compositional Verification
http://xmlns.com/foaf/0.1/topic_interest Model Checking
http://xmlns.com/foaf/0.1/firstName Louis-Marie
http://xmlns.com/foaf/0.1/topic_interest Lightweight Verification
http://xmlns.com/foaf/0.1/topic_interest High-level language
http://xmlns.com/foaf/0.1/topic_interest Specification theory
http://xmlns.com/foaf/0.1/topic_interest Satistical Model Checking
http://xmlns.com/foaf/0.1/topic_interest Rare events
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-es
http://xmlns.com/foaf/0.1/topic_interest Timed I/O Automata
http://xmlns.com/foaf/0.1/topic_interest Stopwatches
http://xmlns.com/foaf/0.1/topic_interest CUSUM
http://xmlns.com/foaf/0.1/topic_interest Meta-modeling
http://xmlns.com/foaf/0.1/topic_interest Hierarchical scheduling
http://xmlns.com/foaf/0.1/topic_interest Software Product Lines
http://xmlns.com/foaf/0.1/topic_interest Réseaux de Petri temporels
http://xmlns.com/foaf/0.1/topic_interest Mutual information
http://xmlns.com/foaf/0.1/topic_interest Quantitative information flow
http://xmlns.com/foaf/0.1/topic_interest Timed Games
http://xmlns.com/foaf/0.1/topic_interest Stepwise-Refinement
http://xmlns.com/foaf/0.1/topic_interest Markov Decision Process
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cr
http://xmlns.com/foaf/0.1/topic_interest Monte Carlo
http://xmlns.com/foaf/0.1/topic_interest Artificial intelligence
http://xmlns.com/foaf/0.1/topic_interest Software Product Line Engineering
http://xmlns.com/foaf/0.1/mbox_sha1sum 6e26b79a002e80eefea5364310f7ac45
http://xmlns.com/foaf/0.1/topic_interest Dépliages
http://xmlns.com/foaf/0.1/topic_interest Platform-constrained
http://xmlns.com/foaf/0.1/topic_interest Stepwise refinement
http://xmlns.com/foaf/0.1/topic_interest MATLAB/Simulink
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ai
http://xmlns.com/foaf/0.1/topic_interest Défense
http://xmlns.com/foaf/0.1/topic_interest Smart Sampling
http://xmlns.com/foaf/0.1/topic_interest Paramètres
http://xmlns.com/foaf/0.1/topic_interest Intelligence artificielle
http://xmlns.com/foaf/0.1/topic_interest Monitoring
http://xmlns.com/foaf/0.1/topic_interest Statistical model-checking
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/louis-marie-traonouez
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-sc
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 Formal verification
http://xmlns.com/foaf/0.1/topic_interest Features
http://xmlns.com/foaf/0.1/name Louis-Marie Traonouez
http://xmlns.com/foaf/0.1/topic_interest Optimisation
http://xmlns.com/foaf/0.1/topic_interest Scheduling Systems
http://xmlns.com/foaf/0.1/topic_interest Diagnosis
http://xmlns.com/foaf/0.1/topic_interest Parameters
http://xmlns.com/foaf/0.1/topic_interest Unfolding
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest Importance splitting
http://xmlns.com/foaf/0.1/topic_interest Statistical model checking
https://aurehal.archives-ouvertes.fr/author/1324

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