Listado de producción
Listando 110 resultados
| Titulo | Año | Tipo |
|---|---|---|
Artificial Neuron-based Model for a Hybrid Real-Time System: Induction Motor Case Study
MANUEL ISIDORO CAPEL TUÑON
|
2022 | Articulo |
A TensorFlow Approach to Data Analysis for Time Series Forecasting in the Energy-Efficiency Realm
MANUEL ISIDORO CAPEL TUÑON, MARIA DEL CARMEN PEGALAJAR JIMENEZ, Luis Gonzaga Baca Ruiz
|
2021 | Articulo |
A parallel solution with GPU technology to predict Energy Consumption in Spatially Distributed Buildings using Evolutionary Optimization and Artificial Neural Networks
MANUEL ISIDORO CAPEL TUÑON, MARIA DEL CARMEN PEGALAJAR JIMENEZ, Luis Gonzaga Baca Ruiz
|
2020 | Articulo |
Dynamic Load Balancing Strategy For Parallel Tumor Growth Simulations
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2019 | Articulo |
Parallel memetic algorithm for training recurrent neural networks for the energy efficiency problem
MANUEL ISIDORO CAPEL TUÑON, MARIA DEL CARMEN PEGALAJAR JIMENEZ, Luis Gonzaga Baca Ruiz
|
2019 | Articulo |
Parallel Cellular Automaton Tumor Growth Model
MANUEL ISIDORO CAPEL TUÑON
|
2018 | Capítulo de libro |
Personality Determination of an Individual Through Neural Networks
MANUEL ISIDORO CAPEL TUÑON
|
2018 | Capítulo de libro |
Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java
MANUEL ISIDORO CAPEL TUÑON
|
2018 | Capítulo de libro |
A Set of Patterns for Concurrent and Parallel Programming Teaching
MANUEL ISIDORO CAPEL TUÑON
|
2018 | Capítulo de libro |
A Parallel Cellular Automaton Model For Adenocarcinomas in Situ with Java: Study of One Case
MANUEL ISIDORO CAPEL TUÑON
|
2018 | Capítulo de libro |
Software Transactional Memory in Java on Clojure: A Performance Analysis
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2018 | Articulo |
Checking Realizability of a Timed Business Processes Choreography
MANUEL ISIDORO CAPEL TUÑON
|
2017 | Capítulo de libro |
Teaching concurrent and parallel programming by patterns: An interactive ICT approach
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2017 | Articulo |
Design and implementation of communication patterns using parallel objects
MANUEL ISIDORO CAPEL TUÑON
|
2017 | Articulo |
A Parallel Approach to Data Analysis for Energy Efficient Energy Management in Distributed Facilites (PIoNEER)
MANUEL ISIDORO CAPEL TUÑON, MIGUEL DELGADO CALVO-FLORES, MARIA DEL CARMEN PEGALAJAR JIMENEZ, Luis Gonzaga Baca Ruiz
|
2017 | Capítulo de libro |
Partitioning Strategy Divide & Conquer as CPANs: A Methodological Proposal
MANUEL ISIDORO CAPEL TUÑON
|
2017 | Articulo |
A methodological approach for checking safety-critical systems software
MANUEL ISIDORO CAPEL TUÑON
|
2017 | Articulo |
A Parallel Approach to Intelligent Data Analysis for Efficient EneRgy Management in Distributed Facilities (PIoNEER)
MANUEL ISIDORO CAPEL TUÑON, MIGUEL DELGADO CALVO-FLORES, MARIA DEL CARMEN PEGALAJAR JIMENEZ, Luis Gonzaga Baca Ruiz
|
2017 | Capítulo de libro |
A Parallel Model for the Belousov- Zhabotinsky Oscillating Reaction with Python and Java
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2017 | Articulo |
Desarrollo de un app multiplataforma para virtualización de oficinas de farmacia
MANUEL ISIDORO CAPEL TUÑON (Director)
|
2016 | Proyecto fin de carrera |
Programación Paralela Estructurada del paradigma Divide y Vencerás. Una Propuesta Metodológica
MANUEL ISIDORO CAPEL TUÑON
|
2016 | Capítulo de libro |
Using pipeline and binary-tree as CPANS for solving the sorting problem. A comparative study
MANUEL ISIDORO CAPEL TUÑON
|
2016 | Capítulo de libro |
Integration of ICT in concurrent and parallel programming lectures
MANUEL ISIDORO CAPEL TUÑON
|
2016 | Articulo |
Behavior of biomarkers during pregnancy and lactation through a biological multi-paradigm model. BECOME study protocol
MANUEL ISIDORO CAPEL TUÑON, MARÍA JOSEFA AGUILAR CORDERO, JUAN CARLOS SANCHEZ GARCIA, Laura Baena García
|
2016 | Articulo |
Comportamiento de los biomarcadores durante el embarazo y la lactancia. Modelo multiparadigma biológico. Protocolo del Estudio BECOME
MANUEL ISIDORO CAPEL TUÑON, MARÍA JOSEFA AGUILAR CORDERO, INMACULADA GARCÍA GARCÍA, Laura Baena García
|
2016 | Articulo |
Speeding Up Tumor Growth Simulations Using Parallel Programming and Cellular Automata
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2016 | Articulo |
desarrollo de software y sistemas basados en componentes y servicios
MANUEL ISIDORO CAPEL TUÑON
|
2016 | Libro |
Speedy Probabilistic Timing Analysis Tool (SPROTIMAT)
MANUEL ISIDORO CAPEL TUÑON (Director)
|
2015 | Trabajo conducente a obtención de DEA |
Nivel de triglicéridos como factor de riesgo durante el embarazo; modelado biológico; revisión sistemática
MANUEL ISIDORO CAPEL TUÑON, MARÍA JOSEFA AGUILAR CORDERO, NORMA MUR VILLAR, Laura Baena García
|
2015 | Review |
Triglyceride levels as a risk factor during pregnancy. Biological modeling.
MANUEL ISIDORO CAPEL TUÑON
|
2015 | Articulo |
A Parallelisation Tale of Two Languages
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2015 | Articulo |
Integration of ICT in Concurrent and Parallel Programming Lectures
MANUEL ISIDORO CAPEL TUÑON
|
2015 | Capítulo de libro |
Speedy Overhead Report and Analysis Tool (SORAT)
MANUEL ISIDORO CAPEL TUÑON (Director)
|
2014 | Proyecto fin de carrera |
Virtualización de Proveedores de Servicios de Cloud Computing
MANUEL ISIDORO CAPEL TUÑON (Director)
|
2014 | Trabajo conducente a obtención de DEA |
Choreography Modeling Compliance for Timed Business Models
MANUEL ISIDORO CAPEL TUÑON
|
2014 | Capítulo de libro |
SISTEMA DE INTERACCIÓN ORAL A TRAVÉS DE INTERNET PARA APOYO A LA DOCENCIA UNIVERSITARIA
MANUEL ISIDORO CAPEL TUÑON, JOSE FRANCISCO QUESADA MORENO
|
2014 | Capítulo de libro |
Parallel bit-stream cipher with cellular automata number 30 in java
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2014 | Articulo |
Parallel bit-stream cipher with cellular automata number 30 in java
MANUEL ISIDORO CAPEL TUÑON, ALBERTO GABRIEL SALGUERO HIDALGO
|
2014 | Articulo |
Sistema de diálogo hablado basado en VoiceXML para la enseñanza universitaria
MANUEL ISIDORO CAPEL TUÑON, JOSE FRANCISCO QUESADA MORENO
|
2013 | Articulo |
Business Process Automatic Verification with a Compositional Approach
MANUEL ISIDORO CAPEL TUÑON
|
2013 | Articulo |
Verifying Compositional Correctness of Safety-Critical Systems
MANUEL ISIDORO CAPEL TUÑON
|
2012 | Capítulo de libro |
Conceptual framework for business processes compositional verification
MANUEL ISIDORO CAPEL TUÑON
|
2012 | Articulo |
Sistemas concurrentes y distribuidos : teoría y práctica
MANUEL ISIDORO CAPEL TUÑON
|
2012 | Libro |
UNA CONTRIBUCIÓN A LAS TÉCNICAS AVANZADAS DE VERIFICACIÓN DE PROCESOS DE NEGOCIO Y SISTEMAS SOFTWARE ABIERTOS
MANUEL ISIDORO CAPEL TUÑON (Director)
|
2011 | Tesis Doctoral |
A FORMALIZATION PROPOSAL OF TIMED BPMN FOR COMPOSITIONAL VERIFICATION OF BUSINESS PROCESSES
MANUEL ISIDORO CAPEL TUÑON
|
2011 | Articulo |
A FORMAL COMPOSITIONAL VERIFICATION APPROACH FOR SAFETY-CRITICAL SYSTEMS CORRECTNESS
MANUEL ISIDORO CAPEL TUÑON
|
2011 | Articulo |
AN EFFICIENT CLUSTER-BASED CDMA/TDMA SCHEME FOR WIRELESS AD HOC NETWORK MODELING
MANUEL ISIDORO CAPEL TUÑON
|
2010 | Capítulo de libro |
MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS
MANUEL ISIDORO CAPEL TUÑON
|
2010 | Libro |
MEDISTAM-RT: METODOLOGÍA DE DISEÑO Y ANÁLISIS DE SISTEMAS DE TIEMPO REAL
MANUEL ISIDORO CAPEL TUÑON (Director), JUAN ANTONIO HOLGADO TERRIZA (Director)
|
2009 | Tesis Doctoral |
COMPOSITIONAL MODEL-CHECKING VERIFICATION OF CRITICAL SYSTEMS
MANUEL ISIDORO CAPEL TUÑON
|
2009 | Articulo |
AUTOMATIC COMPOSITIONAL VERIFICATION OF BUSINESS PROCESSES
MANUEL ISIDORO CAPEL TUÑON
|
2009 | Articulo |
METHODOLOGY OF PARALLEL PROGRAMMING USING COMPOSITIONS OF PARALLEL OBJECTS OR CPANS FOR THE SOLUTION OF NP-COMPLETE PROBLEMS.
MANUEL ISIDORO CAPEL TUÑON
|
2009 | Capítulo de libro |
COMPOSITIONAL MODEL-CHECKING VERIFICATION OF CRITICAL SYSTEMS
MANUEL ISIDORO CAPEL TUÑON
|
2009 | Capítulo de libro |
AUTOMATIC VERIFICATION OF BUSINESS PROCESS INTEGRITY
MANUEL ISIDORO CAPEL TUÑON
|
2009 | Otro tipo de publicación en revista |
Docencia e investigación en Lenguajes y Sistemas Informáticos: una visión desde la Concurrencia
MANUEL ISIDORO CAPEL TUÑON
|
2009 | Libro |
A PARALLEL PROGRAMMING METHODOLOGY USING COMMUNICATION PATTERNS NAMED CPANS OR COMPOSITION OF PARALLEL OBJECTS
MANUEL ISIDORO CAPEL TUÑON
|
2008 | Capítulo de libro |
ESTABLISHING CONSISTENCY BETWEEN UML 2.0 SEQUENCE AND STATE DIAGRAMS
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
TOWARDS UML-RT BEHAVIOURAL CONSISTENCY
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
CHECKING BEHAVIOURAL CONSISTENCY OF UML-RT MODELS THROUGH TRACE-BASED SEMANTICS
MANUEL ISIDORO CAPEL TUÑON
|
2007 | Capítulo de libro |
AN INTERPRETATION OF BEHAVIOURAL CONSISTENCY OF UML-RT DIAGRAMS IN TERMS OF CSP+T
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
JAVA-BASED ADAPTABLE MIDDLEWARE PLATFORM FOR VIRTUAL INSTRUMENTATION
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
DISEÑO Y ADAPTACIÓN DE JAVA DE TIEMPO REAL SOBRE PARTIKLE PARA SISTEMAS EMPOTRADOS
MANUEL ISIDORO CAPEL TUÑON
|
2007 | Capítulo de libro |
CHARACTERISTIC ANALYSIS OF WIRELESS SENSOR NETWORKS WITH REAL-TIME MIDDLEWARE
MANUEL ISIDORO CAPEL TUÑON
|
2007 | Capítulo de libro |
DEVELOPMENT OF AN ADAPTABLE MIDDLEWARE FOR TIME-CONSTRAINED DISTRIBUTED APPLICATIONS
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Capítulo de libro |
VERIFICACIÓN COMPOSICIONAL Y DISEÑO DE SISTEMAS DE TIEMPO REAL
MANUEL ISIDORO CAPEL TUÑON
|
2007 | Capítulo de libro |
CONSISTENCY CHECKING OF UML COMPOSITE STRUCTURE DIAGRAMS BASED ON TRACE SEMANTICS
MANUEL ISIDORO CAPEL TUÑON
|
2007 | Capítulo de libro |
A METHODOLOGICAL APPROACH TO THE FORMAL SPECIFICATION OF REAL-TIME SYSTEMS BY TRANSFORMATION OF UML-RT DESIGN MODELS
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2007 | Articulo |
ENFOQUE METODOLÓGICO PARA LA TRANSFORMACIÓN SISTEMÁTICA DE MODELOS UML/RT A CSP+T
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Articulo |
HIGH LEVEL PARALLEL COMPOSITIONS (CPANS) FOR THE PARALLEL PROGRAMMING BASED ON THE USE OF COMMUNICATION PATTERNS
MANUEL ISIDORO CAPEL TUÑON
|
2006 | Articulo |
DESIGN OF REAL-TIME SYSTEMS BY SYSTEMATIC TRANSFORMATION OF UML/RT MODELS INTO SIMPLE TIMED PROCESS ALGEBRA SYSTEM SPECIFICATIONS
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
CSPJADE: ARCHITECTURAL DRIVEN DEVELOPMENT OF COMPLEX EMBEDDED SYSTEM SOFTWARE USING A CSP PARADIGM BASED CODE GENERATION TOOL
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
DISEÑO DE UN SISTEMA DE CONTROL DOMÓTICO BASADO EN JAVA
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
ANÁLISIS DE SISTEMAS EMPOTRADOS JAVA COMERCIALES CON REQUERIMIENTOS TEMPORALES
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
HIGH LEVEL COMPOSITIONS (CPANS) FOR THE PARALLEL PROGRAMMING BASED ON THE USE OF COMMUNICATION PATTERNS
MANUEL ISIDORO CAPEL TUÑON
|
2006 | Capítulo de libro |
DESIGN AND IMPLEMENTATION OF THE BRANCH-AND-BOUND ALGORITHMIC DESIGN TECHNIQUE AS A HIGH LEVEL PARALLEL COMPOSITION
MANUEL ISIDORO CAPEL TUÑON
|
2006 | Capítulo de libro |
CSPJADE: ARCHITECTURAL DRIVEN DEVELOPMENT OF COMPLEX EMBEDDED SYSTEM SOFTWARE USING A CSP PARADIGM BASED GENERATION TOOL CODE
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
FORMAL SPECIFICATION OF REAL-TIME SYSTEMS BY TRANSFORMATION OF UML-RT DESIGN MODELS
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
A SEMANTIC FORMALIZATION OF UML-RT MODELS WITH CSP+T PROCESSES APPLICABLE TO REAL-TIME SYSTEMS VERIFICATION
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2006 | Capítulo de libro |
UNA METODOLOGÍA DE PROGRAMACIÓN BASADA EN COMPOSICIONES PARALELAS DE ALTO NIVEL (CPANS)
MANUEL ISIDORO CAPEL TUÑON (Director)
|
2005 | Tesis Doctoral |
CSPJADE: A CODE GENERATING CASE TOOL FOR EMBEDDED SYSTEMS BASED ON REUSABLE COMPONENTS AND CSP PARADIGM
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2005 | Articulo |
COMBINING THE DESCRIPTION FEATURES OF UML-RT AND CSP+T SPECIFICATIONS APLIED TO A COMPLETE DESIGN OF REAL-TIME SYSTEMS
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Capítulo de libro |
AN INTEGRATION SCHEME FOR CPN AND PROCESS ALGEBRA APPLIED TO A MANUFACTURING INDUSTRY CASE
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2005 | Capítulo de libro |
DESIGN AND USE OF THE CPAN BRANCH & BOUND FOR THE SOLUTION OF THE TRAVELLING SALESMAN PROBLEM (TSP)
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Capítulo de libro |
CSPJADE: A CODE GENERATING CASE TOOL FOR EMBEDDED SYSTEMS BASED ON REUSABLE COMPONENTS AND CSP PARADIGM
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2005 | Capítulo de libro |
METHODOLOGICAL PROPOSAL FOR COMPLETE REAL TIME SYSTEMS DESIGN BY COMBINING UML-RT AND CSP+T FORMAL SPECIFICATIONS
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Capítulo de libro |
AN APPROACH TO STRUCTURED PARALLEL PROGRAM-MING BASED ON A COMPOSITION OF PARALLEL OBJECTS
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Capítulo de libro |
A METHODOLOGICAL APPROACH TO PARALLEL PROGRAMMING BASED ON HIGH LEVEL PARALLEL COMPOSITIONS
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Capítulo de libro |
FROM CSP+T SPECIFICATION TO JAVA IMPLEMENTA-TION: THE PRODUCTION CELL CASE STUDY
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2005 | Capítulo de libro |
A CSP+T BASED METHOD FOR OBTAINING A RELIABLE MODEL OF A REAL-TIME CLOSED LOOP CONTROL
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2005 | Capítulo de libro |
DESIGN AND USE OF THE CPAN BRANCH & BOUND FOR THE SOLUTION OF THE TRAVELING SALESMAN PROBLEM (TSP)
MANUEL ISIDORO CAPEL TUÑON
|
2005 | Capítulo de libro |
COMBINING THE DESCRIPTION FEATURES OF UML-RT AND CSP+T SPECIFICATIONS APPLIED TO A COMPLETE DESIGN OF REAL-TIME SYSTEMS
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2005 | Articulo |
SYSTEMATIC DESIGN OF REAL-TIME SYSTEMS BASED ON CSP+T PROCESS ALGEBRA
MANUEL ISIDORO CAPEL TUÑON, JOSÉ RAMÓN BALSAS ALMAGRO, JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Capítulo de libro |
A TRANSFORMATIONAL APPROACH TO THE SYSTEMATIC DESIGN OF REAL-TIME SYSTEMS
MANUEL ISIDORO CAPEL TUÑON, JOSÉ RAMÓN BALSAS ALMAGRO, JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Capítulo de libro |
FORMALIZATION OF RT/SA SYSTEM USER REQUERIMENTS APPLIED TO A MANUFACTURING INDUSTRY CASE
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Capítulo de libro |
A NEW DESIGN PROCEDURE FOR A REAL-TIME HYBRID SYSTEM MODEL
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Capítulo de libro |
A PARALLEL PROGRAMMING METHODOLOGY BASED ON HIGH LEVEL PARALLEL COMPOSITIONS (CPANS)
MANUEL ISIDORO CAPEL TUÑON
|
2004 | Capítulo de libro |
UNA METODOLOGÍA DE PROGRAMACIÓN BASADA EN COMPOSICIONES PARALELAS DE ALTO NIVEL (CPANS)
MANUEL ISIDORO CAPEL TUÑON
|
2004 | Capítulo de libro |
FORMALIZATION OF RT/SA SYSTEM USER REQUERIMENTS APPLIED TO A MANUFACTURING INDUSTRY CASE
MANUEL ISIDORO CAPEL TUÑON, JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Articulo |
A TRANSFORMATIONAL APPROACH TO THE SYSTEMATIC DESIGN OF REAL-TIME SYSTEMS
MANUEL ISIDORO CAPEL TUÑON, JOSÉ RAMÓN BALSAS ALMAGRO, JUAN ANTONIO HOLGADO TERRIZA
|
2004 | Articulo |
FBT (FIL TO BÜCHI AUTOMATON TRANSLATOR): HERRAMIENTA PARA ESPECIFICAR Y VERIFICAR SISTEMAS CONCURRENTES MEDIANTE FÓRMULAS DE INTERVALOS
MANUEL ISIDORO CAPEL TUÑON, MIGUEL JUAN HORNOS BARRANCO
|
2003 | Capítulo de libro |
DESDE ESPECIFICACIONES LÓGICAS DE INTERVALOS A AUTÓMATAS DE PROPIEDAD: UNA CONSTRUCCIÓN TABLEAU PARA SU APLICACIÓN A LA COMPROBACIÓN DE MODELOS ON-THE-FLY
MANUEL ISIDORO CAPEL TUÑON (Director), MIGUEL JUAN HORNOS BARRANCO (Doctorando)
|
2002 | Tesis Doctoral |
ON-THE-FLY MODEL CHECKING FROM INTERVAL LOGIC SPECIFICATIONS
MANUEL ISIDORO CAPEL TUÑON, MIGUEL JUAN HORNOS BARRANCO
|
2002 | Articulo |
AUTOMATA GENERATION FOR ON-THE-FLY AUTOMATIC VERIFICATION USING FORMULAS OF AN INTERVAL LOGIC
MANUEL ISIDORO CAPEL TUÑON, MIGUEL JUAN HORNOS BARRANCO
|
2001 | Capítulo de libro |
MATHEMATICAL MODELING OF REAL-TIME PROCESSES
MANUEL ISIDORO CAPEL TUÑON
|
2001 | Capítulo de libro |
VERIFICACIÓN AUTOMATIZADA EFICIENTE DE SISTEMAS CONCURRENTES ESPECIFICANDO SUS PROPIEDADES CON FÓRMULAS DE UNA LÓGICA DE INTERVALOS
MANUEL ISIDORO CAPEL TUÑON, MIGUEL JUAN HORNOS BARRANCO
|
2001 | Capítulo de libro |
SOFTWARE ANALYSIS METHODS FOR REAL TIME SYSTEMS
MANUEL ISIDORO CAPEL TUÑON
|
2000 | Capítulo de libro |
DISTRIBUTED OBJECTS FOR PARALLEL PROGRAMMING IN MULTICOMPUTERS
MANUEL ISIDORO CAPEL TUÑON
|
2000 | Capítulo de libro |
“Sistemas Concurrentes y distribuidos:teoría y práctica
MANUEL ISIDORO CAPEL TUÑON
|
- | Libro |
Journal of Integrative Bioinformatics
MANUEL ISIDORO CAPEL TUÑON
|
- | Articulo |
DESIGN AND IMPLEMENTATION OF COMMUNICATION PATTERNS USING PARALLEL OBJECTS
MANUEL ISIDORO CAPEL TUÑON
|
- | Articulo |