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

習(xí)慣

書目名稱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é)科排名

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

原告

原告

按時(shí)間順序

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.