首页> 外文OA文献 >A Hybrid Framework for Resource Verification in Executable Model-based Embedded System Development

【2h】

A Hybrid Framework for Resource Verification in Executable Model-based Embedded System Development

机译：基于可执行模型的嵌入式系统开发中用于资源验证的混合框架

页面导航

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

著录项

作者
Honguk Woo; Aloysius K. Mok; James C. Browne;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 认知OFDMA混合网络模型中基于QoE的资源分配协议 [J] . 鲍煦, 张雷, 宋铁成东南大学学报（英文版） . 2015,第001期
2. A model-based framework for software portability and verification in embedded power management systems [J] . Fathabadi Asieh Salehi, Butler Michael J., Yang Sheng, Journal of systems architecture . 2018,第期

机译：嵌入式电源管理系统中的软件便携性和验证的基于模型的框架
3. Formal development method of embedded systems based on refinement verification theory of hybrid models [J] . Satoshi Yamane 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2001,第629期

机译：基于细化验证理论的混合模型嵌入式系统的正式发展方法
4. Formal development method of embedded systems based on refinement verification theory of hybrid models [J] . Satoshi Yamane 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2001,第629期

机译：基于细化验证理论的混合模型嵌入式系统的正式发展方法
5. Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems [C] . Jianliang Yi, Honguk Woo, James C. Browne, IEEE Real-Time and Embedded Technology and Applications Symposium . 2008

机译：将资源安全验证合并到嵌入式系统的可执行模型的开发
6. Development of a robust framework for real-time hybrid simulation: From dynamical system, motion control to experimental error verification. [D] . Gao, Xiuyu. 2012

机译：开发用于实时混合仿真的可靠框架：从动态系统，运动控制到实验误差验证。
7. Surface Engineered Metal-Organic Frameworks (MOFs) Based Novel Hybrid Systems for Effective Wound Healing: A Review of Recent Developments [O] . Luo-Qin Fu, Xiao-Yi Chen, Mao-Hua Cai, 2020

机译：基于表面设计的金属有机框架（MOF）用于有效伤口愈合的新型混合系统：近期发展的综述
8. Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems [O] . Jianliang Yi, Honguk Woo, James C. Browne, 2008

机译：将资源安全验证与嵌入式系统可执行模型开发相结合

A Hybrid Framework for Resource Verification in Executable Model-based Embedded System Development

著录项

引文网络

相似文献

相关主题

期刊订阅