首页> 外文OA文献 >A Statechart Generation Method for Specification of Embedded Software by Deciding State Hierarchy Procedure

【2h】

A Statechart Generation Method for Specification of Embedded Software by Deciding State Hierarchy Procedure

机译：通过决定状态层次方法的嵌入式软件规范的StateChart生成方法

代理获取

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

页面导航

著录项
相似文献
相关主题

著录项

作者
Souichi Matsui; Shigeru Okawara; Hisao Koizumi; Tadao Harashima; Mikio Tachibana;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Testability of the Safety Software based on Specification in Statechart [J] . SeDo Sohn, HeeHwan Han, HangBae Kim, Transactions of the American nuclear society . 2003,第Nov期

机译：基于Statechart中规范的安全软件的可测试性
2. Methods of checking general safety criteria in UML statechart specifications [J] . Zsigmond Pap, Istvan Majzik, Andras Pataricza, Reliability Engineering & System Safety . 2005,第1期

机译：检查UML状态图规范中的一般安全标准的方法
3. Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm [J] . Lina Chen Journal of Computers . 2011,第4期

机译：从语义到算法的STATECHART规范的自动测试用例
4. Embedded software generation from system level specification for multi-tasking embedded systems [C] . KiSeun Kwon, YoungMin Yi, DoHyung Kim, . 2005

机译：从系统级规范为多任务嵌入式系统生成嵌入式软件
5. Identification, specification and measurement, using international standards, of the system non functional requirements allocated to real-time embedded software [D] . Al-Sarayreh, Khalid 2011

机译：使用国际标准识别，规范和测量分配给实时嵌入式软件的系统非功能性要求
6. Optimization for Software Implementation of Fractional Calculus Numerical Methods in an Embedded System [O] . Mariusz Matusiak 2020

机译：嵌入式系统中分数微积分数值方法的优化
7. Embedded Software Development Method Based on Description Specification Using State Transition Diagram [O] . Souichi Matsui, Hisao Koizumi, Mikio Tachibana, 1998

机译：基于使用状态转换图的描述规范的嵌入式软件开发方法
8. Generation of Controlled Analog Emissions from Embedded Devices using Software Stress Methods. [R] . Sternberg, O., Nelson, J. H., Perez, I., 2017

机译：使用软件应力方法生成嵌入式设备的受控模拟发射。

A Statechart Generation Method for Specification of Embedded Software by Deciding State Hierarchy Procedure

著录项

相似文献

相关主题

期刊订阅