首页> 外文OA文献 >Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP⋆⋆This research was supported in part by ARO DAAG55-98-1-0393, ARO DAAG55-98-1-0466, AFOSR F49620-96-1-0204, NSF CCR-9619910, and ONR N00014-97-1-0505.

【2h】

Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP⋆⋆This research was supported in part by ARO DAAG55-98-1-0393, ARO DAAG55-98-1-0466, AFOSR F49620-96-1-0204, NSF CCR-9619910, and ONR N00014-97-1-0505.

机译：基于ACSR-VP的实时系统设计规范和分析的参数化方法research这项研究得到了ARO DAAG55-98-1-0393，ARO DAAG55-98-1-0466，AFOSR F49620-96-1-0204，NSF CCR-9619910和ONR N00014-97-1-0505的部分支持。

代理获取

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

页面导航

著录项
相似文献
相关主题

著录项

作者
Kwak Hee-Hwan; Lee Insup; Sokolsky Oleg;
展开▼
作者单位

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

相似文献

外文文献

1. A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models [J] . K. Benghazi Akhlaki, M.I. Capel Tunon, J.A. Holgado Terriza, Science of Computer Programming . 2007,第1期

机译：通过转换UML-RT设计模型对实时系统进行正式规范的方法学方法
2. Parametric Design and Analysis to Support Model-Based Systems Engineering Using SysML [J] . Gary Mosier NASA Tech Briefs . 2010,第10期

机译：使用SysML支持基于模型的系统工程的参数设计和分析
3. Multi-Agent-Based Analysis and Design of Decision-Support System for Real-Time Environment Control [J] . Namrata Das, Anirban Kundu International journal of green computing . 2018,第1期

机译：基于多Agent的实时环境控制决策支持系统分析与设计
4. A new Petri net based formalism for specification, design and analysis of real-time systems [C] . Bruno, G., Castella, Real-Time Systems Symposium, 1993., Proceedings. . 1993

机译：一种新的基于Petri网的形式化规范，用于实时系统的规范，设计和分析
5. An architectural framework for the specification, analysis and design of intelligent real-time monitoring agent-based software systems. [D] . Aborizka, Mohamed Abdelfattah. 2002

机译：用于基于智能实时监控代理的软件系统的规范，分析和设计的体系结构框架。
6. Engineering Automation for Computer Based Systems⋆⋆This research was supported by ARO(MIPR8GNPSAR042), NSF (CCR-9813820), ONR(N0001499WR20019), SPAWAR(N6600198WR00438). [O] . Luqi 1999

机译：基于计算机的系统的工程自动化⋆research这项研究得到了ARO（MIPR8GNPSAR042），NSF（CCR-9813820），ONR（N0001499WR20019），SPAWAR（N6600198WR00438）的支持。

Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP⋆⋆This research was supported in part by ARO DAAG55-98-1-0393, ARO DAAG55-98-1-0466, AFOSR F49620-96-1-0204, NSF CCR-9619910, and ONR N00014-97-1-0505.

著录项

相似文献

相关主题

期刊订阅