首页> 美国政府科技报告 >Model-Based Compositional Reasoning for Complex Systems of Systems (SoS).

【24h】

Model-Based Compositional Reasoning for Complex Systems of Systems (SoS).

机译：复杂系统系统（sos）的基于模型的组合推理。

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

No abstract available

著录项

作者
Aiello, M. A.; Rodes, B. D.; Hocking, A. B.; Rowanhill, J. C.; Knight, J. C.; Bateman, A. J.; Ehlmann, K.;
展开▼
作者单位

展开▼
年度 2016
页码 1-210
总页数 210
原文格式 PDF
正文语种 eng
中图分类
关键词
Complex systems of systems;

机译：复杂的系统系统;

相似文献

外文文献
中文文献
专利

1. Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures [J] . Valdemar Vicente Graciano Neto, Carlos Eduardo Barros Paes, Lina Garcés, Brazilian Computer Society. Journal . 2017,第1期

机译：Stimuli-SoS：一种基于模型的方法，可得出用于仿真系统间软件体系结构的刺激生成器
2. Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures [J] . Valdemar Vicente Graciano Neto Carlos Eduardo Barros Paes Lina Garcés Milena Guessi Wallace Manzano Flavio Oquendo and Elisa Yumi Nakagawa Brazilian Computer Society. Journal . 2017,第13期

机译：Stimuli-SoS：一种基于模型的方法，可得出用于仿真系统间软件体系结构的刺激生成器
3. A toolset for applying model-based reasoning techniques to diagnostics for power systems protection [J] . Davidson E.M., McArthur S.D.J., McDonald J.R. IEEE Transactions on Power Systems . 2003,第2期

机译：用于将基于模型的推理技术应用于电力系统保护诊断的工具集
4. Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems [C] . Schaefer Ina, Poetzsch-Heffter Arnd IEEE International Conference on Software Engineering and Formal Methods . 2008

机译：基于模型的自适应嵌入式系统验证的组成推理
5. Model-based Compositional Verification Approaches and Tools Development for Cyber-physical Systems [D] . Ren, Hao. 2018

机译：基于模型的网络体系系统的组成验证方法和工具开发
6. Describing complex clinical scenarios at the bed-side: Is a systems science approach useful? Exploring a novel diagrammatic approach to facilitate clinical reasoning [O] . Saroj Jayasinghe 2016

机译：在床边描述复杂的临床情况：系统科学方法有用吗？探索一种新颖的图解方法以促进临床推理
7. Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems [O] . Ina Schaefer, Arnd Poetzsch-heffter 2008

机译：基于模型的自适应嵌入式系统验证中的组合推理

Model-Based Compositional Reasoning for Complex Systems of Systems (SoS).

摘要

著录项

相似文献

相关主题

期刊订阅