找回密碼
 To register

QQ登錄

只需一步，快速開始

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

打印 上一主題 下一主題

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

[復(fù)制鏈接]
查看: 14845|回復(fù): 59
樓主
發(fā)表于 2025-3-21 16:56:15 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Computer Safety, Reliability, and Security
副標題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ā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-20 23:23
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
宜兴市| 雅安市| 阳朔县| 张家口市| 青浦区| 嘉禾县| 龙口市| 格尔木市| 铁岭市| 内黄县| 沿河| 郓城县| 宁晋县| 丽江市| 黄浦区| 牙克石市| 伊通| 灌阳县| 铜川市| 宁河县| 常宁市| 堆龙德庆县| 丽水市| 晋宁县| 班玛县| 木兰县| 绥阳县| 张北县| 揭东县| 雅江县| 岑巩县| 留坝县| 岚皋县| 普兰店市| 哈密市| 三门峡市| 剑河县| 上林县| 浠水县| 泰宁县| 蓬莱市|