Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale Examinez les sujets de recherche où James Jerson Ortiz Vega est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

Ingénierie et Science des Matériaux

Clocks
Real time systems
Temporal logic
Taxonomies
Ontology
Semantics
Data storage equipment
Computability and decidability
Testing
Explosions
Semantic Web
Software packages
Specifications
Model checking
Telecommunication networks

mathématiques

Modal Logic
Labeled Transition System
Logic
Ontology
Real-time
Description Logics
Open Source Software
Timed Automata
Software Package
Semantic Web
Distributed Systems
Reasoning
Uncertainty
Propositional Logic
First-order Logic
Communication Networks
Axioms
Model Checking
Java
Timing
Calculus