找回密碼
 To register

QQ登錄

只需一步，快速開始

掃一掃，訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Computer Safety, Reliability, and Security; 23rd International C Maritta Heisel,Peter Liggesmeyer,Stefan Wittmann Conference proceedings 20

[復(fù)制鏈接]
查看: 14838|回復(fù): 59
樓主
發(fā)表于 2025-3-21 16:56:15 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱Computer Safety, Reliability, and Security
副標(biāo)題23rd International C
編輯Maritta Heisel,Peter Liggesmeyer,Stefan Wittmann
視頻videohttp://file.papertrans.cn/234/233722/233722.mp4
概述Includes supplementary material:
叢書名稱Lecture Notes in Computer Science
圖書封面Titlebook: Computer Safety, Reliability, and Security; 23rd International C Maritta Heisel,Peter Liggesmeyer,Stefan Wittmann Conference proceedings 20
描述Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus nec
出版日期Conference proceedings 2004
關(guān)鍵詞Code; IT security; QoS; Unified Modeling Language (UML); architecture; computer reliability; computer safe
版次1
doihttps://doi.org/10.1007/b100227
isbn_softcover978-3-540-23176-9
isbn_ebook978-3-540-30138-7Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 2004
The information of publication is updating

書目名稱Computer Safety, Reliability, and Security影響因子(影響力)




書目名稱Computer Safety, Reliability, and Security影響因子(影響力)學(xué)科排名




書目名稱Computer Safety, Reliability, and Security網(wǎng)絡(luò)公開度




書目名稱Computer Safety, Reliability, and Security網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Computer Safety, Reliability, and Security被引頻次




書目名稱Computer Safety, Reliability, and Security被引頻次學(xué)科排名




書目名稱Computer Safety, Reliability, and Security年度引用




書目名稱Computer Safety, Reliability, and Security年度引用學(xué)科排名




書目名稱Computer Safety, Reliability, and Security讀者反饋




書目名稱Computer Safety, Reliability, and Security讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics
 

0票 0%

Better Implies Difficulty
 

0票 0%

Good and Satisfactory
 

0票 0%

Adverse Performance
 

0票 0%

Disdainful Garbage
您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 21:50:27 | 只看該作者
The Deconstruction of Safety Arguments Through Adversarial Counter-Argumentd from literary theory as safety case analysis techniques. This paper introduces our high-level method for “deconstructing” safety arguments. Our approach is quite general and should be applicable to different types of safety argumentation framework. As one example, we outline how the approach would
板凳
發(fā)表于 2025-3-22 01:31:42 | 只看該作者
Using Fuzzy Self-Organising Maps for Safety Critical Systemsformance characteristics. Previous work has defined a safety lifecycle for ANNs without detailing a specific neural model. Building on this previous work, the underpinning of the devised model is based upon an existing neuro-fuzzy system called the Fuzzy Self-Organising Map (FSOM). The FSOM is type
地板
發(fā)表于 2025-3-22 05:44:37 | 只看該作者
5#
發(fā)表于 2025-3-22 12:18:33 | 只看該作者
6#
發(fā)表于 2025-3-22 13:48:31 | 只看該作者
7#
發(fā)表于 2025-3-22 19:43:10 | 只看該作者
8#
發(fā)表于 2025-3-22 23:42:05 | 只看該作者
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systemsoning about sociotechnical safety-critical requirements in system design and management. After this we take our starting point from formal methods, requirements engineering, and software architecture. We provide special extensions for these methods which are well-suited for the special challenges of
9#
發(fā)表于 2025-3-23 04:38:11 | 只看該作者
10#
發(fā)表于 2025-3-23 08:40:43 | 只看該作者
Handling Safety Critical Requirements in System Engineering Using the B Formal Methodystem solution. The fundamental system engineering objective is to provide high-quality products and services, with the correct people and performances features, at an affordable price, and on time. Building critical system involves stringent management of safety critical requirements. In particular
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-20 19:48
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
广元市| 定结县| 乌拉特中旗| 中西区| 明水县| 河东区| 齐河县| 千阳县| 清原| 中宁县| 巧家县| 德清县| 高阳县| 潍坊市| 永仁县| 兴山县| 嘉义县| 亳州市| 麻栗坡县| 雷波县| 三河市| 偃师市| 措勤县| 永胜县| 怀化市| 宣恩县| 汉寿县| 马公市| 麻阳| 莱芜市| 义乌市| 利津县| 乌拉特后旗| 丽江市| 井研县| 论坛| 奉新县| 读书| 新建县| 儋州市| 炉霍县|