计算机控制系统安全1983（safecomp '83）：实现安全的实时计算机系统

Safety of computer control systems 1983 (safecomp '83): Achieving safe real time computer systems

European Journal of Operational Research · 1984