Comments on "Basic Properties and a Construction Method for Fail-Safe Logical Systems"

The paper by Mine and Kogal appears to have some unstated assumptions and inconsistencies which affect the validity of their claim to have presented "an effective method of logical design for fail-safe systems."

Saved in:
Bibliographic Details
Published in:IEEE transactions on computers 1968-07, Vol.C-17 (7), p.702-702
Main Author: Foster, K.A.
Format: Article
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The paper by Mine and Kogal appears to have some unstated assumptions and inconsistencies which affect the validity of their claim to have presented "an effective method of logical design for fail-safe systems."
ISSN:0018-9340
1557-9956
DOI:10.1109/TC.1968.227411