Safety of Computer Control Systems 1983 (Safecomp '83)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780080305639

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

AUTHOR INDEX

Safety of Computer Control Systems 1983 (Safecomp '83) ◽

10.1016/b978-0-08-030563-9.50042-1 ◽

1983 ◽

pp. 269

Download Full-text

TREX/MCS: A FAULT TOLERANT MULTICOMPUTER SYSTEM

Safety of Computer Control Systems 1983 (Safecomp '83) ◽

10.1016/b978-0-08-030563-9.50040-8 ◽

1983 ◽

pp. 255-260

Author(s):

Y. Matsumoto ◽

H. Nakamura

Keyword(s):

Fault Tolerant ◽

Multicomputer System

Download Full-text

THE ADNET COMMUNICATIONS SYSTEM: INTER-PROCESS COMMUNICATION IN A FAULT TOLERANT LOCAL AREA NETWORK

Safety of Computer Control Systems 1983 (Safecomp '83) ◽

10.1016/b978-0-08-030563-9.50037-8 ◽

1983 ◽

pp. 233-238

Author(s):

W.L. Lakin ◽

M.R. Moulding

Keyword(s):

Local Area Network ◽

Fault Tolerant ◽

Local Area ◽

Area Network ◽

Process Communication ◽

Communications System ◽

Inter Process Communication

Download Full-text

EXPERIENCE WITH THE INSTALLATION OF SOFTWARE QUALITY ASSURANCE IN SMALL EMBEDDED-COMPUTER PROJECTS

Safety of Computer Control Systems 1983 (Safecomp '83) ◽

10.1016/b978-0-08-030563-9.50035-4 ◽

1983 ◽

pp. 225

Author(s):

D.G. Jenkins

Keyword(s):

Quality Assurance ◽

Software Quality ◽

Software Quality Assurance ◽

Embedded Computer

Download Full-text

A HIGH INTEGRITY SOFTWARE BASED TURBINE GOVERNING SYSTEM

Safety of Computer Control Systems 1983 (Safecomp '83) ◽

10.1016/b978-0-08-030563-9.50033-0 ◽

1983 ◽

pp. 207-218 ◽

Cited By ~ 1

Author(s):

J.C. Higgs

Keyword(s):

Governing System ◽

High Integrity

Download Full-text

A PRACTICAL METHODOLOGY FOR SAFETY SOFTWARE DEVELOPMENT, VERIFICATION & VALIDATION

Safety of Computer Control Systems 1983 (Safecomp '83) ◽

10.1016/b978-0-08-030563-9.50030-5 ◽

1983 ◽

pp. 195-196

Author(s):

R. Galanti Occulti ◽

B. Massa ◽

V. Siciliano ◽

G.D. Viano

Keyword(s):

Software Development

Download Full-text

SOFTWARE VALIDATION FOR A RAILWAY SIGNALLING SYSTEM

Safety of Computer Control Systems 1983 (Safecomp '83) ◽

10.1016/b978-0-08-030563-9.50029-9 ◽

1983 ◽

pp. 183-193 ◽

Cited By ~ 4

Author(s):

R.C. Short

Keyword(s):

Software Validation ◽

Signalling System ◽

Railway Signalling

Download Full-text

RELIABILITY PREDICTION: A MATTER OF LOGIC

Safety of Computer Control Systems 1983 (Safecomp '83) ◽

10.1016/b978-0-08-030563-9.50009-3 ◽

1983 ◽

pp. 29-35

Author(s):

L.N. Harris

Keyword(s):

Reliability Prediction

Download Full-text

Titles in the IFAC Proceedings Series

Safety of Computer Control Systems 1983 (Safecomp '83) ◽

10.1016/b978-0-08-030563-9.50001-9 ◽

1983 ◽

pp. ii

Download Full-text

A HIGHLY AVAILABLE MULTIMICROPROCESSOR SYSTEM FOR REAL-TIME APPLICATIONS

Safety of Computer Control Systems 1983 (Safecomp '83) ◽

10.1016/b978-0-08-030563-9.50039-1 ◽

1983 ◽

pp. 247-253 ◽

Cited By ~ 2

Author(s):

P. Ciompi ◽

L. Simoncini ◽

M. La Manna ◽

C. Lissoni ◽

I.R. Martin

Keyword(s):

Real Time ◽

Real Time Applications

Download Full-text

Safety of Computer Control Systems 1983 (Safecomp '83)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

AUTHOR INDEX

TREX/MCS: A FAULT TOLERANT MULTICOMPUTER SYSTEM

THE ADNET COMMUNICATIONS SYSTEM: INTER-PROCESS COMMUNICATION IN A FAULT TOLERANT LOCAL AREA NETWORK

EXPERIENCE WITH THE INSTALLATION OF SOFTWARE QUALITY ASSURANCE IN SMALL EMBEDDED-COMPUTER PROJECTS

A HIGH INTEGRITY SOFTWARE BASED TURBINE GOVERNING SYSTEM

A PRACTICAL METHODOLOGY FOR SAFETY SOFTWARE DEVELOPMENT, VERIFICATION & VALIDATION

SOFTWARE VALIDATION FOR A RAILWAY SIGNALLING SYSTEM

RELIABILITY PREDICTION: A MATTER OF LOGIC

Titles in the IFAC Proceedings Series

A HIGHLY AVAILABLE MULTIMICROPROCESSOR SYSTEM FOR REAL-TIME APPLICATIONS

Safety of Computer Control Systems 1983 (Safecomp '83)
Latest Publications