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

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

http://xmlns.com/foaf/0.1/topic_interest Grid
http://xmlns.com/foaf/0.1/topic_interest Parameterized networks
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest Flot de données
http://xmlns.com/foaf/0.1/topic_interest Sequential Circuit
http://xmlns.com/foaf/0.1/topic_interest Duration Calculus
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mc
http://xmlns.com/foaf/0.1/topic_interest Regular Expression
http://xmlns.com/foaf/0.1/topic_interest Compilation
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-iu
http://xmlns.com/foaf/0.1/topic_interest Dataflow Network
http://xmlns.com/foaf/0.1/firstName Pascal
http://xmlns.com/foaf/0.1/topic_interest Reactive systems
http://xmlns.com/foaf/0.1/topic_interest Minimalité
http://xmlns.com/foaf/0.1/topic_interest Code generation
http://xmlns.com/foaf/0.1/topic_interest Simulation
http://xmlns.com/foaf/0.1/topic_interest Network-on-chip
http://xmlns.com/foaf/0.1/topic_interest Graphes binaires de décision
http://www.w3.org/2002/07/owl#sameAs 0000-0003-3876-9125
http://xmlns.com/foaf/0.1/topic_interest QDDC
http://xmlns.com/foaf/0.1/topic_interest Finite Automata
http://xmlns.com/foaf/0.1/topic_interest Model-based design
http://xmlns.com/foaf/0.1/topic_interest Real-time embedded systems
http://xmlns.com/foaf/0.1/topic_interest Index terms-on-ground
http://xmlns.com/foaf/0.1/topic_interest Infeasible Execution Paths
http://www.w3.org/2002/07/owl#sameAs 080236170
http://xmlns.com/foaf/0.1/topic_interest Tool environment
http://xmlns.com/foaf/0.1/topic_interest Prover technology
http://xmlns.com/foaf/0.1/topic_interest Lustre
http://xmlns.com/foaf/0.1/topic_interest Environment modelling
http://xmlns.com/foaf/0.1/topic_interest Autonomous Operator of Parisian Transports RATP
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ar
http://xmlns.com/foaf/0.1/topic_interest Test pattern generation
http://xmlns.com/foaf/0.1/topic_interest Concrete counterexample
http://xmlns.com/foaf/0.1/topic_interest Non-deterministic observers
http://xmlns.com/foaf/0.1/topic_interest Abstract Interpretation
http://xmlns.com/foaf/0.1/topic_interest Automated testing
http://xmlns.com/foaf/0.1/topic_interest Constraint solving
http://xmlns.com/foaf/0.1/topic_interest Synchronous observers
http://xmlns.com/foaf/0.1/topic_interest Static analysis
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 Exploration
http://xmlns.com/foaf/0.1/topic_interest Corda Model
http://xmlns.com/foaf/0.1/name Pascal Raymond
http://xmlns.com/foaf/0.1/topic_interest Real-time systems
http://xmlns.com/foaf/0.1/topic_interest Global or incremental algorithms
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/pascal-raymond
http://xmlns.com/foaf/0.1/topic_interest Oblivious Robots
http://xmlns.com/foaf/0.1/topic_interest Worst Case Execution Time estimation
http://xmlns.com/foaf/0.1/topic_interest Interlocking application
http://xmlns.com/foaf/0.1/topic_interest Model-checking
http://xmlns.com/foaf/0.1/topic_interest Embedded systems
http://xmlns.com/foaf/0.1/topic_interest PMI system
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/scco.comp
http://xmlns.com/foaf/0.1/topic_interest Rail signaling systems
http://xmlns.com/foaf/0.1/topic_interest Binary Decision Diagrams
http://xmlns.com/foaf/0.1/topic_interest Robots
http://xmlns.com/foaf/0.1/topic_interest Abstraction
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-sy
http://xmlns.com/foaf/0.1/topic_interest Thales
http://xmlns.com/foaf/0.1/mbox_sha1sum 642e231d8feafd3638c816170f2a0d95
http://xmlns.com/foaf/0.1/topic_interest Data-flow
http://xmlns.com/foaf/0.1/topic_interest Proof certification
http://xmlns.com/foaf/0.1/topic_interest Program analysis
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest Requirements Engineering
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-sc
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest Grille
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-rb
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-os
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-ni
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest Real-time
http://xmlns.com/foaf/0.1/familyName Raymond
http://xmlns.com/foaf/0.1/topic_interest Functional testing
http://xmlns.com/foaf/0.1/topic_interest Many-core
http://xmlns.com/foaf/0.1/topic_interest Formal proof process
http://xmlns.com/foaf/0.1/topic_interest Reactive programs
http://xmlns.com/foaf/0.1/topic_interest Scheduling
http://xmlns.com/foaf/0.1/topic_interest Safety demonstration
http://xmlns.com/foaf/0.1/topic_interest Widening
http://xmlns.com/foaf/0.1/topic_interest Lustre language
http://xmlns.com/foaf/0.1/topic_interest Kalray
http://xmlns.com/foaf/0.1/topic_interest Synchronous Languages
http://xmlns.com/foaf/0.1/topic_interest Health Monitoring Systems
http://xmlns.com/foaf/0.1/topic_interest Industrial Case study
http://xmlns.com/foaf/0.1/topic_interest Stochastic machines
http://xmlns.com/foaf/0.1/topic_interest Architecture Description Languages
http://xmlns.com/foaf/0.1/topic_interest On-board
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
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://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dm
http://xmlns.com/foaf/0.1/topic_interest Test sequences generation
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dc
http://xmlns.com/foaf/0.1/topic_interest Computerized interlocking module CIM
http://xmlns.com/foaf/0.1/topic_interest Worst-case execution time analysis
https://aurehal.archives-ouvertes.fr/author/17976

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