Skip to main navigation
Skip to search
Skip to main content
Northern Arizona University Home
Home
Profiles
Departments and Centers
Scholarly Works
Activities
Grants
Datasets
Prizes
Search by expertise, name or affiliation
Error explanation with distance metrics
Alex Groce
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
73
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Error explanation with distance metrics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Distance Metric
100%
Counterexample
47%
Specification
33%
Engine
23%
Model Checking
21%
Abstraction
20%
Experimental Results
18%
Trace
15%
Model
6%
Engineering & Materials Science
Specifications
24%
Model checking
19%
Engines
11%