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

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

http://xmlns.com/foaf/0.1/topic_interest System engineering
http://xmlns.com/foaf/0.1/topic_interest Graphs construction
http://xmlns.com/foaf/0.1/topic_interest Formal model
http://xmlns.com/foaf/0.1/topic_interest Fairness
http://xmlns.com/foaf/0.1/topic_interest ECG
http://xmlns.com/foaf/0.1/topic_interest Event B method
http://xmlns.com/foaf/0.1/topic_interest Coordination
http://xmlns.com/foaf/0.1/topic_interest Développement fondé par preuve
http://xmlns.com/foaf/0.1/topic_interest Correctness by construction
http://xmlns.com/foaf/0.1/topic_interest Conception et gestion d'hypothèse
http://xmlns.com/foaf/0.1/topic_interest Cardiac Pacemaker
http://xmlns.com/foaf/0.1/topic_interest B event-based method
http://xmlns.com/foaf/0.1/topic_interest Développement
http://xmlns.com/foaf/0.1/topic_interest Validation
http://xmlns.com/foaf/0.1/topic_interest Analysis
http://xmlns.com/foaf/0.1/topic_interest Snapshot
http://xmlns.com/foaf/0.1/topic_interest Architectures
http://xmlns.com/foaf/0.1/topic_interest Conception
http://xmlns.com/foaf/0.1/topic_interest Proof-based development
http://xmlns.com/foaf/0.1/mbox_sha1sum 4e77052acb8448eac320436f437fa7eb
http://xmlns.com/foaf/0.1/topic_interest Adder
http://xmlns.com/foaf/0.1/topic_interest Abstract predicate behaviors
http://xmlns.com/foaf/0.1/topic_interest Operational semantics
http://xmlns.com/foaf/0.1/topic_interest Algorithm
http://xmlns.com/foaf/0.1/topic_interest Modélisation formelle
http://xmlns.com/foaf/0.1/topic_interest Landing Gear System
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Incremental development
http://xmlns.com/foaf/0.1/topic_interest Specification
http://xmlns.com/foaf/0.1/topic_interest Graph
http://xmlns.com/foaf/0.1/topic_interest Formal method
http://xmlns.com/foaf/0.1/topic_interest Facteurs Humains
http://xmlns.com/foaf/0.1/topic_interest Environnements virtuels
http://xmlns.com/foaf/0.1/firstName Dominique
http://xmlns.com/foaf/0.1/topic_interest Domain knowledge
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/sdv.bc
http://xmlns.com/foaf/0.1/topic_interest Correct by construction
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-bi
http://xmlns.com/foaf/0.1/topic_interest Composition of specifications
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-bt
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cr
http://xmlns.com/foaf/0.1/topic_interest Bio-integration
http://xmlns.com/foaf/0.1/topic_interest B event-base approach
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest Informatique
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ar
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ai
http://xmlns.com/foaf/0.1/topic_interest Architecture
http://xmlns.com/foaf/0.1/topic_interest Génie logiciel
http://xmlns.com/foaf/0.1/topic_interest Service
http://xmlns.com/foaf/0.1/topic_interest Dependency
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/topic_interest Distributed algorithms
http://xmlns.com/foaf/0.1/topic_interest B and events
http://xmlns.com/foaf/0.1/topic_interest Refinement and proofs
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-hc
http://xmlns.com/foaf/0.1/topic_interest Arbre
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ia
http://xmlns.com/foaf/0.1/topic_interest Pattern
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-dl
http://xmlns.com/foaf/0.1/topic_interest Abstract machines
http://xmlns.com/foaf/0.1/topic_interest Modelling
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-es
http://xmlns.com/foaf/0.1/topic_interest Temps réel
http://xmlns.com/foaf/0.1/topic_interest Intégration
http://xmlns.com/foaf/0.1/topic_interest Concurrence
http://xmlns.com/foaf/0.1/topic_interest Heart Model
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dm
http://xmlns.com/foaf/0.1/topic_interest Formel method
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ds
http://xmlns.com/foaf/0.1/topic_interest Formal engineering
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ni
http://xmlns.com/foaf/0.1/topic_interest Event-driven approach
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pf
http://xmlns.com/foaf/0.1/topic_interest Embedded systems
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest Composition
http://xmlns.com/foaf/0.1/topic_interest ENV12204
http://xmlns.com/foaf/0.1/topic_interest SysML
http://xmlns.com/foaf/0.1/topic_interest Diagrammes de prédicats
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Abstraction
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/sdv.bibs
http://xmlns.com/foaf/0.1/topic_interest Concurrency distributed system application
http://xmlns.com/foaf/0.1/topic_interest Greedy algorithms
http://xmlns.com/foaf/0.1/topic_interest Comportement abstrait
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/sdv.bio
http://xmlns.com/foaf/0.1/topic_interest Bio-CPS
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 Medical device
http://xmlns.com/foaf/0.1/topic_interest Parallélisme
http://xmlns.com/foaf/0.1/topic_interest Automatique
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/spi.auto
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-sc
http://xmlns.com/foaf/0.1/topic_interest Actions
http://xmlns.com/foaf/0.1/topic_interest Automation engineering
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest Real time
http://xmlns.com/foaf/0.1/topic_interest Application parallèle et distribuée
http://xmlns.com/foaf/0.1/topic_interest Abstrcation
http://xmlns.com/foaf/0.1/topic_interest Parallelization
http://xmlns.com/foaf/0.1/topic_interest Méthode formelle
http://xmlns.com/foaf/0.1/topic_interest Abstract behaviours
http://xmlns.com/foaf/0.1/topic_interest Medical protocol
http://xmlns.com/foaf/0.1/topic_interest Inheritance
http://xmlns.com/foaf/0.1/topic_interest SystemC
http://xmlns.com/foaf/0.1/topic_interest Génie de la preuve
http://xmlns.com/foaf/0.1/topic_interest Teaching
http://xmlns.com/foaf/0.1/topic_interest Formal modelling
http://xmlns.com/foaf/0.1/topic_interest Feature interaction
http://xmlns.com/foaf/0.1/topic_interest Event systems
http://xmlns.com/foaf/0.1/topic_interest Modélisation
http://xmlns.com/foaf/0.1/topic_interest Développement incrémental
http://xmlns.com/foaf/0.1/topic_interest Criminalistique
http://xmlns.com/foaf/0.1/topic_interest Concurrency
http://xmlns.com/foaf/0.1/topic_interest Case Studies
http://xmlns.com/foaf/0.1/topic_interest Cellular Automata
http://xmlns.com/foaf/0.1/topic_interest Patterns
http://xmlns.com/foaf/0.1/topic_interest B method
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/spi.other
http://xmlns.com/foaf/0.1/familyName Méry
http://xmlns.com/foaf/0.1/topic_interest Atelier b
http://xmlns.com/foaf/0.1/topic_interest Proof-based pattern
http://xmlns.com/foaf/0.1/topic_interest Additionneur
http://xmlns.com/foaf/0.1/topic_interest Abstract systems
http://xmlns.com/foaf/0.1/topic_interest Pacemaker
http://xmlns.com/foaf/0.1/topic_interest Ontologies
http://xmlns.com/foaf/0.1/topic_interest A completer
http://xmlns.com/foaf/0.1/topic_interest Liveness
http://xmlns.com/foaf/0.1/topic_interest Verification and validation
http://xmlns.com/foaf/0.1/topic_interest Ingénierie système basée sur des modèles
http://xmlns.com/foaf/0.1/topic_interest State-based formal methods
http://xmlns.com/foaf/0.1/topic_interest Graphe
http://xmlns.com/foaf/0.1/topic_interest Formal methods
http://xmlns.com/foaf/0.1/topic_interest Simulation
http://xmlns.com/foaf/0.1/topic_interest Fair objects
http://xmlns.com/foaf/0.1/topic_interest Event B
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/sdv.mhep
http://xmlns.com/foaf/0.1/name Dominique Méry
http://xmlns.com/foaf/0.1/topic_interest Modèle
http://xmlns.com/foaf/0.1/topic_interest Correct-by-construction
http://xmlns.com/foaf/0.1/topic_interest Authentication
http://xmlns.com/foaf/0.1/topic_interest Computer science
http://xmlns.com/foaf/0.1/topic_interest Call-as-event
http://xmlns.com/foaf/0.1/topic_interest Spécification
http://xmlns.com/foaf/0.1/topic_interest Modeling
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/math.math-lo
http://xmlns.com/foaf/0.1/topic_interest Safety proofs
http://xmlns.com/foaf/0.1/topic_interest Architecture de logiciel
http://xmlns.com/foaf/0.1/topic_interest Proof
http://xmlns.com/foaf/0.1/topic_interest Ad hoc Network
http://xmlns.com/foaf/0.1/topic_interest Preuve
http://xmlns.com/foaf/0.1/topic_interest Abstract model
http://xmlns.com/foaf/0.1/topic_interest Objets
http://xmlns.com/foaf/0.1/topic_interest Methodology
http://xmlns.com/foaf/0.1/topic_interest Modèle abstrait
http://xmlns.com/foaf/0.1/topic_interest Invariant preservation
http://xmlns.com/foaf/0.1/topic_interest Tla
http://xmlns.com/foaf/0.1/topic_interest Héritage
http://xmlns.com/foaf/0.1/topic_interest Grand challenge
http://xmlns.com/foaf/0.1/topic_interest Events
http://xmlns.com/foaf/0.1/topic_interest Enterprise constructs
http://xmlns.com/foaf/0.1/topic_interest Electrocardiogram ECG
http://xmlns.com/foaf/0.1/topic_interest Distributed systems
http://xmlns.com/foaf/0.1/topic_interest Safety
http://xmlns.com/foaf/0.1/topic_interest Construction de graphe
http://xmlns.com/foaf/0.1/topic_interest Composition de spécifications
http://xmlns.com/foaf/0.1/topic_interest Bio-compatibility
http://xmlns.com/foaf/0.1/topic_interest B event
http://xmlns.com/foaf/0.1/topic_interest Software engineering
http://xmlns.com/foaf/0.1/topic_interest Méthodes formelles
http://xmlns.com/foaf/0.1/topic_interest Certification
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/dominiquemery
http://xmlns.com/foaf/0.1/topic_interest Distributed algorithm
http://xmlns.com/foaf/0.1/topic_interest Animation
http://xmlns.com/foaf/0.1/topic_interest B
http://xmlns.com/foaf/0.1/topic_interest Refinement
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/scco.neur
http://xmlns.com/foaf/0.1/topic_interest Approche événementielle
http://xmlns.com/foaf/0.1/topic_interest Access control
http://xmlns.com/foaf/0.1/topic_interest Parallélisation
http://www.w3.org/2002/07/owl#sameAs https://scholar.google.fr/citations?user=S7H-l5UAAAAJ
http://xmlns.com/foaf/0.1/topic_interest Objects
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/shs.archeo
http://xmlns.com/foaf/0.1/topic_interest Abstract interpretation
http://xmlns.com/foaf/0.1/topic_interest Model
http://www.w3.org/2002/07/owl#sameAs 0000-0001-5231-6611
http://www.w3.org/2002/07/owl#sameAs 076035085
http://xmlns.com/foaf/0.1/topic_interest Systèmes à événements
http://xmlns.com/foaf/0.1/topic_interest Interaction de services
http://xmlns.com/foaf/0.1/topic_interest Heart
http://xmlns.com/foaf/0.1/topic_interest Formal specification
http://xmlns.com/foaf/0.1/topic_interest Features interaction
http://xmlns.com/foaf/0.1/topic_interest Event-B
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/scco.comp
http://xmlns.com/foaf/0.1/topic_interest Electrode
http://xmlns.com/foaf/0.1/topic_interest E-voting
http://xmlns.com/foaf/0.1/topic_interest Development
http://xmlns.com/foaf/0.1/topic_interest CPS
http://xmlns.com/foaf/0.1/topic_interest Code Generation
http://xmlns.com/foaf/0.1/topic_interest B événementiel
http://xmlns.com/foaf/0.1/topic_interest Ingénierie Système
http://xmlns.com/foaf/0.1/topic_interest Automation
http://xmlns.com/foaf/0.1/topic_interest Raffinement
http://xmlns.com/foaf/0.1/topic_interest Advanced Analytics
http://xmlns.com/foaf/0.1/topic_interest Abstractions
http://xmlns.com/foaf/0.1/topic_interest Parallelism
http://xmlns.com/foaf/0.1/topic_interest Méthode b
http://xmlns.com/foaf/0.1/topic_interest Ontology
http://xmlns.com/foaf/0.1/topic_interest ARINC 661
http://xmlns.com/foaf/0.1/topic_interest Medical devices
https://aurehal.archives-ouvertes.fr/author/1227

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