首页> 中文会议>第九届全国容错计算学术大会 >形式方法与安全关键系统

形式方法与安全关键系统

页面导航

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

摘要

本文首先回答了什么是形式方法的问题,对在安全-关键系统使用的形式方法作了概括介绍,并通过介绍应用形式方法的安全-关键系统的实例,论述使用形式方法的必要性.

著录项

来源
《第九届全国容错计算学术大会》|2001年|289-294|共6页
会议地点长沙
作者
李佳玉; 员春欣;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类性能分析、功能分析;
关键词
形式方法; 安全关键系统; 形式系统; 形式规格语言;
入库时间 2022-08-17 10:20:24

相似文献

中文文献
外文文献
专利

1. 巴赫金的形式方法:意义与结构--解读《文艺学中的形式方法》 [J] . 刘小莉 . 河西学院学报 . 2005,第003期
2. 浅谈低年级识字教学形式方法 [J] . 李敏 . 神州（上旬刊） . 2018,第030期
3. 浅谈低年级识字教学形式方法 [J] . 李敏 . 神州 . 2018,第030期
4. 安全培训教育的形式方法及效果 [J] . 姚关东 . 安全 . 2016,第001期
5. 对铁路信号形式方法的研究 [J] . 丁勇 . 科技与企业 . 2013,第013期
6. 用形式方法开发CAE软件 [C] . 缪淮扣 ,胡晓波 . 中国科学院技术科学论坛第二十三次学术报告会议（CAE自主创新发展战略） . 2006
7. 弹性力学分区求解体系及一阶弱形式方法研究 [A] . 张萌 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号