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

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

http://xmlns.com/foaf/0.1/topic_interest Compositional Verification
http://xmlns.com/foaf/0.1/topic_interest Networks
http://xmlns.com/foaf/0.1/topic_interest Formal Specifications
http://xmlns.com/foaf/0.1/topic_interest Software verification
http://xmlns.com/foaf/0.1/topic_interest Interactive Theorem Proving Coq
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 Synchronous Programming
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-na
http://xmlns.com/foaf/0.1/topic_interest Modeling Languages
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/firstName Timothy
http://xmlns.com/foaf/0.1/topic_interest Back-Pressure LTTA
http://xmlns.com/foaf/0.1/topic_interest OCaml
http://xmlns.com/foaf/0.1/topic_interest Timing diagrams
http://xmlns.com/foaf/0.1/topic_interest Invariant proof
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Timed Automata
http://xmlns.com/foaf/0.1/topic_interest AODV
http://xmlns.com/foaf/0.1/topic_interest Esterel
http://xmlns.com/foaf/0.1/topic_interest Real-Time Systems
http://xmlns.com/foaf/0.1/topic_interest Simulation
http://xmlns.com/foaf/0.1/topic_interest Interactive theorem proving
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/tbrk
http://xmlns.com/foaf/0.1/topic_interest Compilation of hybrid systems
http://xmlns.com/foaf/0.1/topic_interest Protocol Verification
http://xmlns.com/foaf/0.1/topic_interest Type System
http://xmlns.com/foaf/0.1/topic_interest Mobile Ad hoc Networks
http://xmlns.com/foaf/0.1/topic_interest Invariance proofs
http://xmlns.com/foaf/0.1/topic_interest Time-Based LTTA
http://xmlns.com/foaf/0.1/topic_interest Timed automata
http://www.w3.org/2002/07/owl#sameAs 0000-0003-0601-4182
http://www.w3.org/2002/07/owl#sameAs 202418812
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Hybrid automata
http://xmlns.com/foaf/0.1/topic_interest Process Algebra
http://xmlns.com/foaf/0.1/topic_interest Structural Analysis
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/info.info-ms
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 Non-standard analysis
http://xmlns.com/foaf/0.1/topic_interest Kahn process 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 Formal software verification
http://xmlns.com/foaf/0.1/topic_interest StructAnalysis
http://xmlns.com/foaf/0.1/topic_interest Synchronous
http://xmlns.com/foaf/0.1/topic_interest Compositional Invariant Proofs
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dc
http://xmlns.com/foaf/0.1/name Timothy Bourke
http://xmlns.com/foaf/0.1/mbox_sha1sum 627431a6c6d487d4fb57abf07f4990a8
http://xmlns.com/foaf/0.1/topic_interest Nonstandard analysis
http://xmlns.com/foaf/0.1/topic_interest Multicores and many-cores
http://xmlns.com/foaf/0.1/familyName Bourke
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-es
http://xmlns.com/foaf/0.1/topic_interest Model Checking
http://xmlns.com/foaf/0.1/topic_interest Verified Compilation
http://xmlns.com/foaf/0.1/topic_interest HybridLang
http://xmlns.com/foaf/0.1/topic_interest Quasi-periodic Architectures
http://xmlns.com/foaf/0.1/topic_interest Isabelle/HOL
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-au
http://xmlns.com/foaf/0.1/topic_interest Assistants de Preuve Coq
http://xmlns.com/foaf/0.1/topic_interest Numerical Simulation
http://xmlns.com/foaf/0.1/topic_interest Symbolic Simulation
http://xmlns.com/foaf/0.1/topic_interest Lustre
http://xmlns.com/foaf/0.1/topic_interest Compilers
http://xmlns.com/foaf/0.1/topic_interest Uppaal
http://xmlns.com/foaf/0.1/topic_interest • Computer systems organization → Embedded software Additional Key Words and Phrases stream languages
http://xmlns.com/foaf/0.1/topic_interest Non-standard semantics
http://xmlns.com/foaf/0.1/topic_interest Hybrid systems
http://xmlns.com/foaf/0.1/topic_interest Langages synchrones Lustre
http://xmlns.com/foaf/0.1/topic_interest Hybrid systems modelers
http://xmlns.com/foaf/0.1/topic_interest Loosely Time-Triggered Architectures
http://xmlns.com/foaf/0.1/topic_interest Synchronous Languages Lustre
http://xmlns.com/foaf/0.1/topic_interest Programming
http://xmlns.com/foaf/0.1/topic_interest DAE
http://xmlns.com/foaf/0.1/topic_interest Quasi-Synchronous Abstraction
http://xmlns.com/foaf/0.1/topic_interest ASSUME project
http://xmlns.com/foaf/0.1/topic_interest Numerical solver
http://xmlns.com/foaf/0.1/topic_interest Timed trace inclusion
http://xmlns.com/foaf/0.1/topic_interest Network protocols
http://xmlns.com/foaf/0.1/topic_interest LTTA
http://xmlns.com/foaf/0.1/topic_interest Wireless Mesh Networks
http://xmlns.com/foaf/0.1/topic_interest Index
http://xmlns.com/foaf/0.1/topic_interest Synchronous Languages
http://xmlns.com/foaf/0.1/topic_interest Real-Time Embedded Systems
http://xmlns.com/foaf/0.1/topic_interest Constructive semantics
http://xmlns.com/foaf/0.1/topic_interest Index TermsProgramming
http://xmlns.com/foaf/0.1/topic_interest Numeric simulation
http://xmlns.com/foaf/0.1/topic_interest Semantics
http://xmlns.com/foaf/0.1/topic_interest Reactive Systems
http://xmlns.com/foaf/0.1/topic_interest Avionics software
http://xmlns.com/foaf/0.1/topic_interest Compilation
http://xmlns.com/foaf/0.1/topic_interest Mathematical modelling language
http://xmlns.com/foaf/0.1/topic_interest ITEA3
http://xmlns.com/foaf/0.1/topic_interest • Computer systems organization → Embedded software stream languages
http://xmlns.com/foaf/0.1/topic_interest Interactive Theorem Proving Isabelle/HOL
http://xmlns.com/foaf/0.1/topic_interest Synchronous programming languages
http://xmlns.com/foaf/0.1/topic_interest Quasi-synchrony
http://xmlns.com/foaf/0.1/topic_interest Block Diagrams
http://xmlns.com/foaf/0.1/topic_interest Automatic code generation
http://xmlns.com/foaf/0.1/topic_interest Physical Time
http://xmlns.com/foaf/0.1/topic_interest Type systems
http://xmlns.com/foaf/0.1/topic_interest MDAE
http://xmlns.com/foaf/0.1/topic_interest CCS Concepts • Software and its engineering → Formal language definitions
https://aurehal.archives-ouvertes.fr/author/1591

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