Titlebook: Computer Safety, Reliability, and Security; 19th International C Floor Koornneef,Meine Meulen Conference proceedings 2000 Springer-Verlag B

习惯

书目名称Computer Safety, Reliability, and Security影响因子(影响力)




书目名称Computer Safety, Reliability, and Security影响因子(影响力)学科排名




书目名称Computer Safety, Reliability, and Security网络公开度




书目名称Computer Safety, Reliability, and Security网络公开度学科排名




书目名称Computer Safety, Reliability, and Security被引频次




书目名称Computer Safety, Reliability, and Security被引频次学科排名




书目名称Computer Safety, Reliability, and Security年度引用




书目名称Computer Safety, Reliability, and Security年度引用学科排名




书目名称Computer Safety, Reliability, and Security读者反馈




书目名称Computer Safety, Reliability, and Security读者反馈学科排名

tenosynovitis

Itinerant

TERRA

染色体

Validation of Control System Specifications with Abstract Plant Modelsperation of power plants. Testing of such procedures is difficult, especially because of the problem of errors in specifications. By verifying high level specifications of automatic procedures andform alised specifications of manual procedures against an abstract plant model and a set of correctness

原告

原告

按时间顺序

The Safety Management of Data-Driven Safety-Related Systemses of such systems are railway interlockings and air traffic control systems. While there is now considerable experience and guidance on how to develop safety-related software, and there are a number of standards in this area, the topic of safety-related configuration data is hardly mentioned in the

modish

疲惫的老马

A Dependability-Explicit Model for the Development of Computing Systemsreation process which builds on the classical development steps (requirements, design, realization, integration); 2) dependability processes (i.e., fault prevention, fault tolerance, fault removal and fault forecasting); and 3) other supporting processes such as quality assurance and certification.