Verificación Automática de Procesos Industriales Críticos con Autómatas

by Luis E Mendoza Morales

Business Process Verification: The Application of Model Checking and Timed Automata

by Luis E. Mendoza Morales
Published 2014-08-01

A network model for the specification of vulval precursor cells and cell fusion control in Caenorhabditis elegans

by Nathan eWeinstein, Luis eMendoza
Published 2013-06-01

Building qualitative models of plant regulatory networks with SQUAD

by Nathan eWeinstein, Luis eMendoza
Published 2012-04-01

Quality in Development Process for Software Factories According to ISO 15504

by Kenyer Domínguez, María Pérez, Luis E. Mendoza, Anna Grimán
Published 2006-06-01

Normal vs Malignant Hematopoiesis: the Complexity of Acute Leukemia Through Systems Biology

by Jennifer eEnciso, Luis eMendoza, Rosana ePelayo
Published 2015-09-01

SAM - Sistema Automatizado del Método MECAP para Especificar Casos de Prueba

by Kenyer Domínguez, María A. Pérez, Edumilis Méndez, Luis E. Mendoza
Published 2010-12-01

Tools selection criteria in software-developing Small and Medium Enterprises

by Lornel Rivas, María Pérez, Luis E. Mendoza, Anna C. Grimán P.
Published 2010-04-01

Verificación automática de procesos de negocio con un enfoque composicional

by Luis E Mendoza Morales, Manuel I Capel Tuñón, María A Pérez

Segmentation of Magnetic Resonance Imaging MRI using LS-SVM and Wavelet Multiresolution Analysis

by Luis A. Muñoz-Bedoya, Luis E. Mendoza, Hernando J. Velandia-Villamizar
Published 2013-11-01

¿Cómo se relacionan la Calidad Sistémica y la Productividad en el Proceso de Desarrollo de Software?

by Edumilis M. Méndez, María A. Pérez, Anna C. Grimán, Luis E. Mendoza
Published 2005-12-01

Speech Subvocal Signal Processing using Packet Wavelet and Neuronal Network

by Luis E. Mendoza, Jesus Peña, Luis A. Muñoz-Bedoya, Hernando J. Velandia-Villamizar
Published 2013-11-01

Determinants of intentions to prevent triatomine infestation based on the health belief model: An application in rural southern Ecuador.

by Benjamin R Bates, Anita G Villacís, Angela Mendez-Trivino, Luis E Mendoza, Mario J Grijalva
Published 2020-01-01

Finding missing interactions of the Arabidopsis thaliana root stem cell niche gene regulatory network

by Eugenio eAzpeitia, Eugenio eAzpeitia, Nathan eWeinstein, Mariana eBenítez, Mariana eBenítez, Luis eMendoza, Elena R. Alvarez-Buylla, Elena R. Alvarez-Buylla
Published 2013-04-01