首页> 外文会议>International Conference on Avilability, Reliability and Security >An Approach to Model-based Development of Secure and Reliable Systems

【24h】

An Approach to Model-based Development of Secure and Reliable Systems

机译：一种基于模型的安全可靠系统的发展方法

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《International Conference on Avilability, Reliability and Security》|2011年||共6页
会议地点
作者
Fernandez Eduardo B.; Washizaki Hironori; Yoshioka Nobukazu; VanHilst Michael;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP309-53;
关键词

相似文献

外文文献
中文文献
专利

1. Takagi–Sugeno Model-Based Reliable Sliding Mode Control of Descriptor Systems With Semi-Markov Parameters: Average Dwell Time Approach [J] . Jiang Baoping, Karimi Hamid Reza, Yang Shichun, IEEE Transactions on Systems, Man, and Cybernetics . 2021,第3期

机译：基于Takagi-Sugeno模型的可靠滑模控制，具有半马尔可夫参数的描述符系统：平均停留时间方法
2. A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems [J] . Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Journal of rail transport planning & man . 2016,第2期

机译：基于随机模型的可靠节能铁路道路开关加热系统分析方法
3. A model-based approach for a systematic risk analysis of local floodTI A model-based approach for a systematic risk analysis of local flood emergency operation plans: a first step toward a decision support system [J] . Piatyszek E, Karagiannis GM Natural Hazards . 2012,第3期

机译：一种基于模型的方法来对本地洪水进行系统的风险分析TI一种基于模型的方法来对本地洪水紧急操作计划进行系统的风险分析：迈向决策支持系统的第一步
4. An Approach to Model-based Development of Secure and Reliable Systems [C] . Fernandez Eduardo B., Washizaki Hironori, Yoshioka Nobukazu, 2011 Sixth International Conference on Availability, Reliability and Security . 2011

机译：基于模型的安全可靠系统开发方法
5. A model-based approach for development of multi-agent software systems. [D] . Xu, Haiping. 2003

机译：基于模型的多代理软件系统开发方法。
6. Model-Based Design and Implementation of Secure Interoperable EHR Systems [O] . Bernd Blobel, George Stassinopoulos, Peter Pharow 2003

机译：安全可互操作的EHR系统的基于模型的设计和实现
7. Building reliable secure computing systems out of unreliable insecure components [O] . J. E. Dobson 1986

机译：利用不可靠的不安全组件构建可靠的安全计算系统

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号