Safety of Computer Control Systems 1990 (Safecomp '90)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780080409535

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

QUALITATIVE KNOWLEDGE IN A DIAGNOSTIC EXPERT SYSTEM FOR NUCLEAR POWER PLANT SAFETY

Safety of Computer Control Systems 1990 (Safecomp '90) ◽

10.1016/b978-0-08-040953-5.50028-3 ◽

1990 ◽

pp. 131-134

Author(s):

I. Obreja

Keyword(s):

Expert System ◽

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Plant Safety ◽

Qualitative Knowledge ◽

Nuclear Power Plant Safety

Download Full-text

MODELING AND VERIFYING SYSTEMS AND SOFTWARE IN PROPOSITIONAL LOGIC

Safety of Computer Control Systems 1990 (Safecomp '90) ◽

10.1016/b978-0-08-040953-5.50011-8 ◽

1990 ◽

pp. 31-36 ◽

Cited By ~ 31

Author(s):

G. Stålmarck ◽

M. Säflund

Keyword(s):

Propositional Logic

Download Full-text

A CONCEPT OF A COMPUTER SYSTEM FOR THE EXECUTION OF SAFETY CRITICAL LICENSABLE SOFTWARE PROGRAMMED IN A HIGH LEVEL LANGUAGE

Safety of Computer Control Systems 1990 (Safecomp '90) ◽

10.1016/b978-0-08-040953-5.50010-6 ◽

1990 ◽

pp. 25-30 ◽

Cited By ~ 1

Author(s):

W.A. Halang ◽

Soon-Key Jung

Keyword(s):

Computer System ◽

High Level Language ◽

Safety Critical ◽

High Level

Download Full-text

Front Matter

Safety of Computer Control Systems 1990 (Safecomp '90) ◽

10.1016/b978-0-08-040953-5.50002-7 ◽

1990 ◽

pp. iii

Download Full-text

SYMPOSIA VOLUMES

Safety of Computer Control Systems 1990 (Safecomp '90) ◽

10.1016/b978-0-08-040953-5.50036-2 ◽

1990 ◽

pp. 177-178

Download Full-text

KEYWORD INDEX

Safety of Computer Control Systems 1990 (Safecomp '90) ◽

10.1016/b978-0-08-040953-5.50035-0 ◽

1990 ◽

pp. 175

Keyword(s):

Keyword Index

Download Full-text

SKILLS AND TECHNOLOGIES FOR THE DEVELOPMENT AND EVALUATION OF SAFETY CRITICAL SYSTEMS

Safety of Computer Control Systems 1990 (Safecomp '90) ◽

10.1016/b978-0-08-040953-5.50033-7 ◽

1990 ◽

pp. 163-171

Author(s):

J.A. McDermid

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

SYMBAD: A SYMBOLIC EXECUTOR OF SEQUENTIAL ADA PROGRAMS

Safety of Computer Control Systems 1990 (Safecomp '90) ◽

10.1016/b978-0-08-040953-5.50024-6 ◽

1990 ◽

pp. 105-111 ◽

Cited By ~ 6

Author(s):

A. Coen-Porisini ◽

F. De Paoli

Download Full-text

DEPENDABILITY EVALUATION OF WATCHDOG PROCESSORS

Safety of Computer Control Systems 1990 (Safecomp '90) ◽

10.1016/b978-0-08-040953-5.50021-0 ◽

1990 ◽

pp. 89-94

Author(s):

P.J. Gil ◽

J.J. Serrano ◽

R. Ors ◽

V. Santonja

Keyword(s):

Dependability Evaluation

Download Full-text

METHODS OF PROTECTION AGAINST COMPUTER VIRUSES

Safety of Computer Control Systems 1990 (Safecomp '90) ◽

10.1016/b978-0-08-040953-5.50013-1 ◽

1990 ◽

pp. 45-50 ◽

Cited By ~ 1

Author(s):

K. Gaj ◽

K. Górski ◽

R. Kossowski ◽

J. Sobczyk

Keyword(s):

Computer Viruses

Download Full-text

Safety of Computer Control Systems 1990 (Safecomp '90)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

QUALITATIVE KNOWLEDGE IN A DIAGNOSTIC EXPERT SYSTEM FOR NUCLEAR POWER PLANT SAFETY

MODELING AND VERIFYING SYSTEMS AND SOFTWARE IN PROPOSITIONAL LOGIC

A CONCEPT OF A COMPUTER SYSTEM FOR THE EXECUTION OF SAFETY CRITICAL LICENSABLE SOFTWARE PROGRAMMED IN A HIGH LEVEL LANGUAGE

Front Matter

SYMPOSIA VOLUMES

KEYWORD INDEX

SKILLS AND TECHNOLOGIES FOR THE DEVELOPMENT AND EVALUATION OF SAFETY CRITICAL SYSTEMS

SYMBAD: A SYMBOLIC EXECUTOR OF SEQUENTIAL ADA PROGRAMS

DEPENDABILITY EVALUATION OF WATCHDOG PROCESSORS

METHODS OF PROTECTION AGAINST COMPUTER VIRUSES

Safety of Computer Control Systems 1990 (Safecomp '90)
Latest Publications