Concepedia
IFIP Congress · 1968 · 301 citations · 0 references
ComputingComputer ScienceComputer SystemsComputer ArchitectureFault-tolerant SystemsFormal MethodsFinite State Machine ModelingModel CheckingReliable System DesignDynamic VerificationSelf-checking DesignSelf-checking Logic