Biblioteca Virtual Pro - Búsqueda de modelado-e-verificacion-inteligente-2014-129788

Resultados de búsqueda

12815 resultados de modelado-e-verificacion-inteligente-2014-129788

Artículos Verificación eficiente de cumplimiento basada en semántica utilizando fórmulas LTL y despliegue.
- Categoría:Ciencias naturales y subdisciplinas -- Matemáticas
- Autor:Song, Liang; Wang, Jianmin; Wen, Lijie; Kong, Hui.
- Año de publicación:2013.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi Publishing Corporation.
Artículos Método de Conjunto de Características de Wu para la Verificación de Afirmaciones de SystemVerilog
- Categoría:Ciencias naturales y subdisciplinas -- Matemáticas
- Autor:Gao, Xinyan; Zhou, Ning; Wu, Jinzhao; Li, Dakui.
- Año de publicación:2013.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi Publishing Corporation.
Artículos Modelado formal basado en componentes de sistemas de PLC
- Categoría:Ciencias naturales y subdisciplinas -- Matemáticas
- Autor:Wang, Rui; Guan, Yong; Liming, Luo; Li, Xiaojuan; Zhang, Jie.
- Año de publicación:2013.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi Publishing Corporation.
Artículos Modelado de información para la construcción para ambientes de edificación inteligente
- Categoría:Equipos y accesorios -- Instrumentos de control, medición y análisis
- Autor:Zhang, Jianchao; Seet, Boon Chong; Lie, Tek Tjing.
- Año de publicación:2015.
- IdiomaInglés.
- Tamaño1329 kB
- Formatopdf.
- Editor:Molecular Diversity Preservation International (MDPI).
- Publicado en Virtual Pro: Febrero 2017 - Algunas tendencias en ingeniería civil y construcción
Artículos Modelado formal y verificación para MVB.
- Categoría:Ciencias naturales y subdisciplinas -- Matemáticas
- Autor:Xia, Mo; Lo, Kueiming; Shao, Shuangjia; Sun, Mian.
- Año de publicación:2013.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi Publishing Corporation.
Artículos Hacia la verificación probabilística liviana.
- Categoría:Ciencias naturales y subdisciplinas -- Matemáticas
- Autor:Konur, Savas.
- Año de publicación:2014.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi Publishing Corporation.
Ponencias y Conferencias Verificación y validación del modelado de turbulencia
- Categoría:Ciencias aplicadas e interdisciplinarias -- Ingeniería química y afines
- Autor:Rumsey, Christopher L..
- Año de publicación:2014.
- IdiomaInglés.
- Tamaño1094 kB
- Formatopdf.
- Editor:National Aeronautics and Space Administration (NASA).
- Publicado en Virtual Pro: Noviembre 2015 - Dinámica de fluidos computacional. Segunda entrega
Artículos Un método basado en SAT para la verificación de programas multihilo en redes de crowdsourcing móviles
- Categoría:Ciencias aplicadas e interdisciplinarias -- Ingeniería de sistemas
- Autor:Zhang, Long; Qu, Wanxia; Huo, Yinjia; Guo, Yang; Li, Sikun.
- Año de publicación:2018.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi.
Artículos Un Método de Verificación Formal de Compilación Basado en un Subconjunto Seguro de C
- Categoría:Ciencias aplicadas e interdisciplinarias -- Ingeniería de sistemas
- Autor:Tan, Yu; Ma, Dianfu; Qiao, Lei.
- Año de publicación:2021.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi.
Artículos Adopción del algoritmo de Red Neuronal Convolucional combinado con Realidad Aumentada en la visualización de datos de construcción y detección inteligente.
- Categoría:Ciencias aplicadas e interdisciplinarias -- Ingeniería de sistemas
- Autor:Wei, Minghui; Tang, Jingjing; Tang, Haotian; Zhao, Rui; Gai, Xiaohui; Lin, Renying.
- Año de publicación:2021.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi.
Artículos Un Método de Detección de Errores de Implementación Latente para la Validación de Software
- Categoría:Ciencias naturales y subdisciplinas -- Matemáticas
- Autor:Zhou, Jiantao; Liu, Jing; Wu, Jinzhao; Zhong, Guodong.
- Año de publicación:2013.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi Publishing Corporation.
Artículos Método de verificación algebraica para propiedades SEREs a través de enfoques de bases de Groebner
- Categoría:Ciencias naturales y subdisciplinas -- Matemáticas
- Autor:Zhou, Ning; Wu, Jinzhao; Gao, Xinyan.
- Año de publicación:2013.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi Publishing Corporation.
Artículos OntCheck: Una herramienta de verificación estática basada en ontologías para modelos basados en componentes.
- Categoría:Ciencias naturales y subdisciplinas -- Matemáticas
- Autor:Lin, Xi; Zhang, Hehua; Gu, Ming.
- Año de publicación:2013.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi Publishing Corporation.
Artículos CAFA: Herramienta de ayuda a la mejora de la cobertura mediante Checksum-Aware Fuzzing
- Categoría:Ciencias aplicadas e interdisciplinarias -- Ingeniería de sistemas
- Autor:Liu, Xiaolong; Wei, Qiang; Wang, Qingxian; Zhao, Zheng; Yin, Zhongxu.
- Año de publicación:2018.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi.
Artículos Un marco unificado para DPLL() + Certificados
- Categoría:Ciencias naturales y subdisciplinas -- Matemáticas
- Autor:Zhou, Min; He, Fei; Wang, Bow-Yaw; Gu, Ming; Sun, Jiaguang.
- Año de publicación:2013.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi Publishing Corporation.
Artículos Solución de verificación basada en bases de Groebner para las afirmaciones concurrentes de SystemVerilog
- Categoría:Ciencias naturales y subdisciplinas -- Matemáticas
- Autor:Zhou, Ning; Gao, Xinyan; Wu, Jinzhao; Wei, Jianchao; Li, Dakui.
- Año de publicación:2014.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi Publishing Corporation.
Artículos Diseño y Aplicación del Sistema de Banco de Preguntas Inteligente de Gramática Inglesa.
- Categoría:Ciencias aplicadas e interdisciplinarias -- Ingeniería de sistemas
- Autor:Liu, Xiaowei; Liu, Hongjin.
- Año de publicación:2021.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi.
Artículos Reducción preservadora de contraejemplos para la verificación simbólica de modelos
- Categoría:Ciencias naturales y subdisciplinas -- Matemáticas
- Autor:Liu, Wanwei; Wang, Rui; Fu, Xianjin; Wang, Ji; Dong, Wei; Mao, Xiaoguang.
- Año de publicación:2014.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi Publishing Corporation.
Artículos Un método de evolución de redes de Petri que apoya los cambios en el modelo BPMN.
- Categoría:Ciencias aplicadas e interdisciplinarias -- Ingeniería de sistemas
- Autor:Li, Zonghua; Ye, Zhengwei.
- Año de publicación:2021.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi.
Artículos CoCEC: Un verificador automático de equivalencia de circuitos combinatorios basado en el demostrador interactivo de teoremas.
- Categoría:Ciencias aplicadas e interdisciplinarias -- Ingeniería de sistemas
- Autor:Khan, Wilayat; Khan, Farrukh Aslam; Derhab, Abdelouahid; Alhudhaif, Adi.
- Año de publicación:2021.
- IdiomaInglés.
- Tamaño kB
- Formatopdf.
- Editor:Hindawi.

Bï¿½squedas relacionados

| | | |

Categoría

Mostrar todos

Ciencias aplicadas e interdisciplin 7434

Ciencias naturales y subdisciplinas 3138

Gestión y administraci&oacut 706

Diseńo, modelado, automatiza 612

Energía 305

Medio ambiente 226

Agricultura, agroforestería 113

Industria, agroindustria y tecnolog 102

Manufactura y producción 65

Equipos y accesorios 52

Industria y tecnología qu&ia 47

Minería y extracción 10

Sin categorï¿½a 4

Enciclopedias y otros recursos 1

Tipo de documento

Mostrar todos

Artículos 12347

Videos 198

Tesis y Trabajos de grado 108

Ponencias y Conferencias 60

Capítulo de Libro 29

Informes y Reportes 25

Libros 24

Documento Editorial 8

Infografías 5

Manuales 3

Ponencias y Conferencias 3

Manuales 2

Idioma

Mostrar todos

Inglés 11945

Español 788

Portugues 76

Sin idioma 5

Frances 1

Biblioteca122.739 documentos en línea

Resultados de búsqueda

Bï¿½squedas relacionados

Filtrar resultados

Categoría

Tipo de documento

Idioma

Recursos

Infografías

Principios de Onda en una cuerda

Introducción a Polaridad de la molécula

Cadena de producción de la carne

Ósmosis inversa

Principios de Adición de Vectores

Matriz de alternativas ambientales

Generalidades de Masas y Resortes

Videos

Aplicaciones de Quantum y proyectos de usuario con D-Wave | Webinar

Reciclaje PET - Cómo abrir un negocio de reciclaje

Nuevas fronteras en biorremediación

Criterios para la selección de Válvulas

Emily Carter. Mecanismos de reducción fotoelectroquímica de dióxido de carbono... - 27 de septiembre de 2013

Webinar: Active learning en aulas para adultos, Parte 1

Aplicaciones de la nanotecnología en el envasado de alimentos

Documentos más descargados

2024-03-06
Oportunidades, retos, desafíos y peligros en la Inteligencia Artificial

Virtual Pro

Virtual Plant

Actualidad

Investigación

Suscripción

Publicidad

Virtual Pro | Procesos Industriales

Biblioteca122.739 documentos en línea

Resultados de búsqueda

Bï¿½squedas relacionados

Filtrar resultados

Categoría

Tipo de documento

Idioma

Recursos

Infografías

Principios de Onda en una cuerda

Introducción a Polaridad de la molécula

Cadena de producción de la carne

Ósmosis inversa

Principios de Adición de Vectores

Matriz de alternativas ambientales

Generalidades de Masas y Resortes

Videos

Aplicaciones de Quantum y proyectos de usuario con D-Wave | Webinar

Reciclaje PET - Cómo abrir un negocio de reciclaje

Nuevas fronteras en biorremediación

Criterios para la selección de Válvulas

Emily Carter. Mecanismos de reducción fotoelectroquímica de dióxido de carbono... - 27 de septiembre de 2013

Webinar: Active learning en aulas para adultos, Parte 1

Aplicaciones de la nanotecnología en el envasado de alimentos

Documentos más descargados

2024-03-06Oportunidades, retos, desafíos y peligros en la Inteligencia Artificial

Virtual Pro

Virtual Plant

Actualidad

Investigación

Suscripción

Publicidad

Virtual Pro | Procesos Industriales

2024-03-06
Oportunidades, retos, desafíos y peligros en la Inteligencia Artificial