The following topics are dealt with: system safety; data safety guidance; verified trustworthy software systems; safer marine software; offshore software; formal-verification-based guidelines; SPAD severity assessments; software safety standards; Simulink models; autonomous vehicle systems; legacy systems; system software quality assurance; safety critical systems and cyberattacks.

机译：涉及以下主题：系统安全；数据安全指南；经过验证的可信赖软件系统；更安全的海洋软件；离岸软件；基于正式验证的指南； SPAD严重性评估；软件安全标准； Simulink模型；自动驾驶汽车系统；遗留系统；系统软件质量保证；安全关键系统和网络攻击。

著录项

来源
《11th International Conference on System Safety and Cyber Security 2016》|2016年|1-5|共5页
会议地点 London(GB)
作者

展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词
trusted computing; formal verification; safety-critical software; software maintenance; software quality;

机译：可信计算;形式验证;安全关键软件;软件维护;软件质量;

相似文献

外文文献
中文文献
专利

1. Table of Contents by TopicArticles are grouped by categories; complete author listings can be found on preceding Table of Contents. [J] . Clinical neurosurgery. . 2015,第4期

机译：按主题分类的目录按类别分组;完整的作者列表可在前面的目录中找到。
2. Table of Contents by TopicArticles are grouped by categories; complete author listings can be found on preceding Table of Contents [J] . Clinical neurosurgery. . 2015,第6期

机译：按主题分类的目录按类别分组;完整的作者列表可在前面的目录中找到
3. Table of Contents by TopicArticles are grouped by categories; complete author listings can be found on preceding Table of Contents [J] . Clinical neurosurgery. . 2015,第3期

机译：按主题分类的目录按类别分组;完整的作者列表可在前面的目录中找到
4. TableGPT: Few-shot Table-to-Text Generation with Table Structure Reconstruction and Content Matching [C] . Heng Gong, Yawei Sun, Xiaocheng Feng, International Conference on Computational Linguistics . 2020

机译：表格：几次拍摄的表到文本生成，具有表结构重建和内容匹配
5. Nitrates in vegetables and changes of their contents due to storage and processing. [D] . Gorenjak, Alenka Hmelak. 2015

机译：蔬菜中的硝酸盐及其含量由于储存和加工而变化。
6. Table of Phenylalanine Content of Foods: Comparative Analysis of Data Compiled in Food Composition Tables [O] . Ana Claudia Marquim F. Araújo, Wilma M. C. Araújo, Ursula M. Lanfer Marquez, 2017

机译：食品中苯丙氨酸含量表：食品成分表中数据比较
7. Erratum Volume226,Number 2 (1996), in the issue Table of Contents and volume Table of Contents, the article “Central Nervous System Expression of HIV-1 Gp 120 Activates the Hypothalamic-Pituitary-Adrenal Axis: Evidence for Involvement of NMDA Receptors and Nitric Oxide Synthase,” by Jacob Raber, Stephanie M. Toggas, Sherina Lee, Floyd E. Bloom, Charles J. Epstein, and Lennart Mucke [O] . 1997

机译：勘误表第226卷，第2期（1996年），在目录和体积目录中，“ HIV-1 Gp 120的中枢神经系统表达激活下丘脑-垂体-肾上腺轴：NMDA受体和受体参与的证据”一文一氧化氮合酶”，作者：Jacob Raber，Stephanie M. Toggas，Sherina Lee，Floyd E. Bloom，Charles J. Epstein和Lennart Mucke

Table of contents

摘要

著录项

相似文献

相关主题

期刊订阅