Humord
type: ConceptScheme

Computing
type: Topic
type: Concept
narrower: Verification (Computing)
preferred label: Databehandling @nn

Verification (Computing)
type: Concept
type: Topic
ccmapper candidates: 10
ccmapper state: accepted
created: 2014-01-02T00:00:00
modified: 2023-12-19T08:48:35
alternative label: Verifisering (Databehandling) @nb
broader: Computing
in scheme: Humord
mapping relation: c006891
mapping relation: e23
narrower: Simple promela interpreter
narrower: Refinement (Computing)
narrower: Computer aided verification
preferred label: Verifikasjon (Databehandling) @nn

Computer aided verification
type: Topic
type: Concept
broader: Verification (Computing)
preferred label: Datastøtta verifikasjon @nn
preferred label: Datastøttet verifikasjon @nb

Refinement (Computing)
type: Topic
type: Concept
broader: Verification (Computing)
preferred label: Raffinering (Informatikk) @nn

Simple promela interpreter
type: Topic
type: Concept
broader: Verification (Computing)

Topic
type: Class
label: Innholdsbeskrivende emne @nb