Publication | Open Access

The Neighborhood Auditing Tool: A hybrid interface for auditing the UMLS

AuditingContinuous AuditingEngineeringProgram AnalysisSoftware TestingVerificationSystems EngineeringSoftware EngineeringHybrid InterfaceComputer ScienceNeighborhood Auditing ToolSoftware AssuranceUml DesignSecurity AuditSoftware AnalysisTrusted Operating SystemSoftware DesignFormal Verification