首页> 外文OA文献 >Metodologia para verificação funcional antecipada de software embarcado combinado plataformas virtuais e verificação formal

【2h】

Metodologia para verificação funcional antecipada de software embarcado combinado plataformas virtuais e verificação formal

机译：嵌入式软件组合虚拟平台和形式验证的早期功能验证方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2016.

机译：学位论文（硕士学位）-圣卡塔琳娜州联邦大学，技术中心，电气工程研究生课程，弗洛里亚诺波利斯，2016年。

著录项

作者
Paludo Rogério;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 por
中图分类

相似文献

外文文献
中文文献
专利

1. Herramienta de software verifica la seguridad funcional de dispositivos de seguridad en maquinas [J] . Metalurgia y Electricidad . 2006,第784期

机译：软件工具验证机器上安全设备的功能安全性
2. METODOLOGIA PARA VERIFICA??O DAS CONDICIONANTES DA ANáLISE DE REGRESS?O [J] . Doadi Antonio Brena, José Natalino Macedo Silva, Paulo Renato Scnheider Floresta . 1978,第2期

机译：验证收益分析条件的方法
3. Ricerca e verifica di una metodologia semplificata per la stima dei moltiplicatori input-output: un'applicazione al settore forestale in Liguria [J] . Rivista di Economia Agraria . 1995,第1期

机译：研究和验证一种用于估算投入产出乘数的简化方法：在利古里亚的林业部门中的应用
4. Desarrollo de metodologias de apoyo basadas en el uso de plataformas virtuales de ensenanza para asignaturas de planes de estudio en extinction [C] . Teresa J. Leo, Jose de Lara, David Diaz, Decima Segunda Conferencia Iberoamericana en Sistemas, Cibernetica e Informatica . 2013

机译：基于使用虚拟教学平台的支持方法的发展，以灭绝的学习计划主题
5. Propuesta De Un Modelo De Negocio Basado en Una Plataforma Digital Para Experiencias De Arte, Cultura, Entretenimiento Y Gastronomía Para Fomentar El Turismo No Tradicional, Socialmente Responsable Y Sostenible en El Perú [D] . Villafuerte, Miguel Angel Cueva . 2021

机译：基于数字平台的商业模式的提案，用于艺术，文化，娱乐和美食的经验，促进秘鲁非传统，社会负责和可持续旅游
6. La plataforma Moodle: Una herramienta útil para la formación en soporte vital. Análisis de las encuestas de satisfacción a los alumnos e instructores de los cursos de soporte vital avanzado del programa ESVAP de la semFYC [O] . Juan Antonio Cordero Torres, Antonio Caballero Oliver 2015

机译：Moodle平台：生活支持培训的有用工具。对semFYC ESVAP计划的高级生命支持课程的学生和讲师的满意度调查进行分析
7. Metodologia de Verificação Funcional para Circuitos Analógicos [O] . Fonseca Adauto Luis Tadeo Bernardes da 2009

机译：模拟电路的功能验证方法
8. Progetto e Realizzazione di un Sistema Automatico per las Verifica dell Caraterreristiche Elettriche di up Pacemaker in Accordo alla Norma Europea EN45502-2-1:2003 (Design and Realization of an Automatic System to Test the Electrical Characteristics of a [R] . D'Alessandro, M., Triventi, M., Calcagnini, G. 2005

机译：progetto e Realizzazione di un sistema automatico per las Verifica dell Caraterreristiche Elettriche di up pacemaker in accordo alla Norma Europea EN45502-2-1：2003（设计和实现自动测试电气特性的系统

Metodologia para verificação funcional antecipada de software embarcado combinado plataformas virtuais e verificação formal

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅