Cover Image

State of the Art in the Research of Formal Verification

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Edgar Serna-M.
Format:	Artículo científico
Language:	en
Published:	Universidad Nacional Autónoma de México 2014
Subjects:	Ingeniería
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Algunos Comentarios a los Objetivos del Mirfac
by: Edgar Serna M.
Published: (2011)

EDITORIAL
by: Edgar Serna M.
Published: (2010)

GALILEO GALILEI
by: Edgar Serna M.
Published: (2010)

Crisis de la Ingeniería en Colombia – Estado de la cuestión
by: Edgar Serna M.
Published: (2015)

EDSGER WYBE DIJKSTRA
by: Edgar Serna Montoya
Published: (2009)

Solución de un Problema de Control en Programación Concurrente
by: Edgar Serna Montoya
Published: (2010)

POR QUÉ JOHNNY NO PUEDE COMPRENDER
by: Edgar Serna Montoya
Published: (2010)

ESTRATÓN DE LÁMPSAKOS
by: Edgar Serna-Montoya
Published: (2009)

Marie Curie
by: Edgar Serna M.
Published: (2011)

Nivel de madurez y grado de satisfacción de las herramientas libres para pruebas funcionales
by: Edgar Serna M.
Published: (2015)

La abstracción como componente crítico de la formación en ciencias computacionales
by: Edgar Serna M.
Published: (2011)

LA INGENIERÍA DE SISTEMAS Y SU EVOLUCIÓN HACIA LA ARQUITECTURA DE SISTEMAS
by: Edgar Serna Montoya
Published: (2009)

Lógica y abstracción en la formación de ingenieros: una relación necesaria
by: Edgar Serna M.
Published: (2014)

A Model for Documenting Requirements Elicitation
by: Edgar Serna M.
Published: (2023)

¿Está en crisis la ingeniería en el mundo? Una revisión a la literatura
by: Edgar Serna M.
Published: (2013)

Hypatia de Alejandría
by: Edgar Serna Montoya
Published: (2010)

La especificación formal en contexto: actual y futuro
by: Edgar Serna M.
Published: (2014)

Desafíos y estrategias prácticas de los estudios empíricos sobre las técnicas de prueba del software
by: Edgar Serna
Published: (2011)

La investigación en verificación formal- un estado del arte
by: Edgar Serna M.
Published: (2013)

Prueba del software: más que una fase en el ciclo de vida
by: Edgar Serna M.
Published: (2011)

Acercamiento ontológico a la gestión del conocimiento en el mantenimiento del software
by: Edgar Serna Montoya
Published: (2010)

Ingenieria y ciencias de la vida: Relación simbiótica para la supervivencia humana*
by: Edgar Serna Montoya
Published: (2022)

Ni Estado del Arte ni State of the Art
by: El Editor
Published: (2009)

Desarrollo de un Robot Interactivo para la Distribución de Información
by: Sergio Serna
Published: (2007)

LÍNEA DEL TIEMPO DE LAS CIENCIAS COMPUTACIONALES
by: Alexei Serna Arenas
Published: (2010)

Programación Basada en Restricciones: la Programación Simbólica al Servicio del Control de Producción Inteligente
by: Antonio Morón Serna
Published: (2000)

ARQUITECTURA EMPRESARIAL - UNA VISIÓN GENERAL
by: Martin Darío Arango Serna
Published: (2010)

Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification
by: Edgar Darío Ramírez-de León
Published: (2014)

Novel single beam technique for measuring nonlinear optical absorption of materials by using an electrically focus-tunable lens
by: Juan Serna
Published: (2015)

Recuperación de fenol de aguas residuales industriales por tratamiento con NaCl
by: Iveth Serna
Published: (2003)

Impacto Social y Económico en el uso de Biocombustibles
by: Fabiola Serna
Published: (2011)

Domain Of Supply Chain Management - A State Of Art
by: Atul B. Borade
Published: (2007)

Especificación de perfil zigbee para monitoreo y control de plantas industriales
by: Sergio Serna
Published: (2009)

Physical, chemical and sensory changes of refrigerated yellow pitahaya treated preharvest with 1-MCP
by: Liliana Serna Cock
Published: (2013)

Risk assessment and corrosion level due to inductions on pipelines close to AC power lines
by: Johnatan M. Rodríguez-Serna
Published: (2023)

EL HOMBRE Y LA MÁQUINA 1988-2008. UNA RETROSPECTIVA PLÁSTICA
by: Edgar Negret
Published: (2008)

Aplicación del sistema Robot Vision PRO para operaciones automáticas de control de calidad
by: Edgar Sotter
Published: (2001)

Editorial Enseñar la condición humana
by: Edgar Morin
Published: (2007)

Verification of Surface Conductance Model of Textile Materials
by: M. Neruda
Published: (2012)

Power Quality in AC Islanded Microgrids: Technical Framework and State of the Art Review
by: Vanessa Quintero-Molina
Published: (2020)