首页> 外文OA文献 >Modeling and Analysis of Real-Time Software based on Resource Timed Communicating Sequential Process

【2h】

Modeling and Analysis of Real-Time Software based on Resource Timed Communicating Sequential Process

机译：基于资源定时通信序列过程的实时软件建模与分析

页面导航

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

著录项

作者
Yi Zhu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra [J] . Yi Zhu, Zhiqiu Huang, Guangquan Zhang, International journal of software engineering and knowledge engineering . 2016,第7期

机译：基于资源定时过程代数的实时软件多资源建模
2. Designing Adaptive Reconfigrurable Control (ARC) Based Real-Time Transaction Processing Systems (RTTPS) Through Software Stability Model (SSM) [J] . E. R. Naganathan, X. P. Eugene Advances in applied computational mechanics . 2014,第2期

机译：通过软件稳定性模型（SSM）设计基于自适应可重构控制（ARC）的实时事务处理系统（RTTPS）
3. Designing Adaptive Reconfigrurable Control (ARC) Based Real-Time Transaction Processing Systems (RTTPS) Through Software Stability Model (SSM) [J] . E.R. Naganathan, X.P. Eugene Advances in computational sciences and technology . 2014,第2期

机译：通过软件稳定性模型（SSM）设计基于自适应可重构控制（ARC）的实时事务处理系统（RTTPS）
4. Modeling and Analysis of Real-Time Software Based on Resource Communicating Sequential Process [C] . Zhu, Yi, Huang, Zhiqiu, Zhang, Guangquan International Conference on Information Engineering and Computer Science;ICIECS 2009 . 2009

机译：基于资源通信顺序过程的实时软件建模与分析
5. Techniques and tools for model-based design and analysis of embedded real-time software. [D] . Gu, Zonghua. 2004

机译：用于基于模型的嵌入式实时软件设计和分析的技术和工具。
6. Performance Analysis of IoT-Based Sensor Big Data Processing and Machine Learning Model for Real-Time Monitoring System in Automotive Manufacturing [O] . Muhammad Syafrudin, Ganjar Alfian, Norma Latif Fitriyani, 2018

机译：汽车制造业实时监控系统中基于物联网的传感器大数据处理和机器学习模型的性能分析
7. Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes [O] . Wang Yi, Bengt Jonsson 1994

机译：实时通信序列过程网络中定时语言包含的可判定性
8. Communicating Shared Resources: A Model for Distributed Real-Time Systems (MS-CIS-89-26). [R] . Gerber, R., Lee, I. 1989

机译：通信共享资源：分布式实时系统模型（ms-CIs-89-26）。

Modeling and Analysis of Real-Time Software based on Resource Timed Communicating Sequential Process

著录项

引文网络

相似文献

相关主题

期刊订阅