Concepedia

A Construction for Models of Consistent Systems.

Th. Skolem, I. L. Novak

Journal of Symbolic Logic · 1951 · 26 citations · 0 references

Concepts

EngineeringSystems EngineeringFormal MethodsModel-based Systems EngineeringSystems ModelingConsistency ModelsModel CheckingModel FormulationModel TheoryModel-based DesignSystem StructureConsistencyConsistency CheckingModel Consistency Checking