一种基于模型检查的嵌入式软件验证方法

Name: 一种基于模型检查的嵌入式软件验证方法
Rating: 4.5 (29 reviews)
Author: xue36770

上传者：xue36770 2020-08-14 23:17:18上传 PDF文件 70.13KB 热度 29次

本文介绍了一种基于模型检查的嵌入式软件验证方法。

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

一种基于模型检查的嵌入式软件验证方法

本文介绍了一种基于模型检查的嵌入式软件验证方法。

大小：70KB | 2020-08-14 23:17:18
嵌入式系统ARM技术中的一种基于模型检查的嵌入式软件验证方法

嵌入式软件广泛应用于不同领域,如消费电子、工业控制、汽车电子、移动通信等。嵌入式软件的可靠性保证十分...

大小：0B | 2020-11-12 19:52:07
一种实用的嵌入式软件测试方法研究

嵌入式计算技术在现代信息技术中的应用越来越广泛,应用所涉及的软、硬件系统越来越复杂,对系统软件可靠性...

大小：248KB | 2021-02-22 12:18:00
一种嵌入式软件版本信息获取方法设计与实现

 为了定位嵌入式设备当前运行软件的版本,设计了一种获取嵌入式软件版本信息的方法,首...

大小：442KB | 2021-02-09 14:33:39
软件测试中的一种实用的嵌入式软件测试方法研究

软件测试中的一种实用的嵌入式软件测试方法研究嵌入式系统安全性的失效可能会导致灾难性的后果,即使是非安...

大小：167KB | 2021-04-19 23:34:48
嵌入式软件

毕业设计部分很实用很少见很棒很好

大小：0B | 2019-09-05 10:57:25
嵌入式系统ARM技术中的用一种技术统一企业级软件和嵌入式软件的方法

嵌入式软件开发有别于企业级或桌面软件开发,而且它们采用的软件开发技术也各有不同。一些嵌入式软件公司试...

大小：127KB | 2020-11-09 00:11:04
嵌入式软件测试及验证

软件测试的真正目标、软件测试的意义、软件测试方法、软件测试的基本内容、软件测试的标准、嵌入式软件测试...

大小：0B | 2019-09-05 12:59:49
嵌入式软件分析方法总汇

嵌入式软件指标分配模型嵌入式软件及其可靠性指标嵌入式软件可靠性分析方法研究

大小：0B | 2019-07-23 20:09:46
基于复杂度的嵌入式软件功耗模型

嵌入式系统论文基于复杂度的嵌入式软件功耗模型摘要:系统功耗是嵌入式系统的一个重要方向,功耗很大程度上...

大小：205.00 KB | 2022-12-29 15:03:13
一种支持汽车电子的嵌入式软件编程接口库设计

本文介绍的柴油机电控系统嵌入式软件平台就是面向汽车电子,遵循OSEK标准,应用于汽车动力总成控制的系...

大小：79KB | 2020-08-20 06:17:26
一种星载嵌入式软件容错启动系统设计

为提高空间复杂电离环境下星载嵌入式系统的可靠性,提出一种容错启动系统设计方法。该启动方法利用SPAR...

大小：1.55MB | 2021-01-16 23:04:15
嵌入式软件基础

嵌入式软件基础，可以看看

大小：0B | 2019-07-23 18:16:02
嵌入式软件简介

大小：0B | 2019-04-10 04:56:22
嵌入式软件服务

嵌入式软件服务嵌入式软件服务硬件＆软件无缝整合SUSIAccess嵌入式操作系统嵌入式BIOS研华服...

大小：4.52 MB | 2022-08-06 20:24:11
嵌入式软件学习

提供嵌入式软件学习资料，帮助您深入了解嵌入式软件开发。

大小：51.07MB | 2024-04-26 20:42:31