找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Reliability, Quality and Safety of Software-Intensive Systems; IFIP TC5 WG5.4 3rd I Dimitris Gritzalis Book 1997 IFIP International Federat

[复制链接]
楼主: deflate
发表于 2025-3-26 22:54:47 | 显示全部楼层
Specification composition for the verification of message passing program compositionle applications are built by composing reusable executable program components designed with scalable communication interfaces. We define reusable specifications of program components, using coloured Petri nets, which are then composed to obtain the specification of the application. The composition i
发表于 2025-3-27 03:38:59 | 显示全部楼层
Prescriptive specification checking for hazard prevention in computer-controlled safety-critical sysms. Based on this analysis, a set of prescriptive specifications are derived to guard the consistency between the computer controller and the physical system to be controlled. The feasibility and effectiveness of this approach is demonstrated by a comprehensive case study.
发表于 2025-3-27 08:05:51 | 显示全部楼层
Object-oriented Safety Monitor Synthesisumed that the valid object model of an application extended with relevant safety aspects is available. The method comprises four steps: identification, reduction, implantation and tuning of a safety monitor. The identification step selects this part of the object model which constitutes a preliminar
发表于 2025-3-27 12:54:00 | 显示全部楼层
Modification of Safety Critical Systems: An Assessment of three Approachesption of the system under consideration, the paper naturally falls into two parts. The first one is a description of two modifications, how they were implemented and how they were analysed for safety. The second one contains a discussion of the three methods used — FTA, FMECA and Code analysis. We h
发表于 2025-3-27 16:25:16 | 显示全部楼层
Security of World Wide Web Search Engines available information. This has made the World Wide Web one of the key fields for companies advertisement. On the other hand, advertisement on the web depends crucially on its ., i.e. on the possibility to be noticed by as many users as possible. The backbone of information management in the WWW is
发表于 2025-3-27 17:53:28 | 显示全部楼层
发表于 2025-3-28 00:01:38 | 显示全部楼层
978-1-4757-6399-7IFIP International Federation for Information Processing 1997
发表于 2025-3-28 02:35:37 | 显示全部楼层
Reliability, Quality and Safety of Software-Intensive Systems978-0-387-35097-4Series ISSN 1868-4238 Series E-ISSN 1868-422X
发表于 2025-3-28 08:53:21 | 显示全部楼层
发表于 2025-3-28 12:31:15 | 显示全部楼层
https://doi.org/10.1007/978-0-387-35097-4Area; DEX; design; development; distributed systems; form; modeling; quality assurance; safety-critical syst
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-6-10 04:25
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表