Instruction Sequence Faults with Formal Change Justification.

Jan A. Bergstra

Published in: Sci. Ann. Comput. Sci. (2020)

Keyphrases

instructional design
formal model
fault detection
neural network
artificial intelligence
image sequences
data structure
input data
learning outcomes
model based diagnosis
root cause
long sequences