Gem #51: Safe and Secure Software: Chapter 11, Certified Safe with SPARK

John Barnes

首页> 外文期刊>Ada letters >Gem #51: Safe and Secure Software: Chapter 11, Certified Safe with SPARK

【24h】

Gem #51: Safe and Secure Software: Chapter 11, Certified Safe with SPARK

机译：宝石＃51：安全可靠的软件：第11章，SPARK认证安全

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

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

摘要

Gem #51 is the eleventh chapter of John Barnes' new booklet: Safe and Secure Software: An Introduction to Ada 2005.

机译：《宝石＃51》是约翰·巴恩斯（John Barnes）新一本书的第11章：“安全软件：Ada 2005简介”。

著录项

来源
《Ada letters》 |2009年第2期|36-36|共1页
作者
John Barnes;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
入库时间 2022-08-17 13:37:01

相似文献

外文文献
中文文献
专利

1. Gem #43: Safe and Secure Software : Chapter 7, Safe Memory Management [J] . John Barnes Ada letters . 2009,第1期

机译：宝石＃43：安全可靠的软件：第7章，安全内存管理
2. Gem #34: Safe and Secure Software : Chapter 2, Safe Typing [J] . John Barnes Ada letters . 2009,第1期

机译：宝石＃34：安全可靠的软件：第2章，安全键入
3. Gem #40: Safe and Secure Software : Chapter 5, Safe Object Oriented Programming [J] . John Barnes Ada letters . 2009,第1期

机译：宝石40：安全可靠的软件：第5章，面向对象的安全编程
4. New methodology to develop certified safe and secure aeronautical software — An embedded router case study [C] . Varet Antoine, Larrieu Nicolas IEEE/AIAA 30th Digital Avionics Systems Conference : Closing the generation gap . 2011

机译：开发经过认证的安全航空软件的新方法-嵌入式路由器案例研究
5. Occupational safety management competencies as perceived by certified safety professionals and safety educators. [D] . Blair, Earl H. 1997

机译：经认证的安全专业人员和安全教育者所认可的职业安全管理能力。
6. The farther the safer: a manifesto for securely navigating synthetic species away from the old living world [O] . Philippe Marliere 2009

机译：更远更安全：一个宣言旨在使合成物种安全地脱离旧的生活世界
7. Chapter 11 Overview of simulation software used in design studies and safety analyses for French research reactors [O] . 2020

机译：第11章设计研究和安全分析的模拟软件概述法国研究堆的安全分析

Gem #51: Safe and Secure Software: Chapter 11, Certified Safe with SPARK

摘要

著录项

相似文献

相关主题

期刊订阅