Explaining safety failures in NetKAT.

Georgiana Caltais Hunkar Can Tunc

Published in: J. Log. Algebraic Methods Program. (2021)

Keyphrases

safety critical
real time
multimedia
root cause
safety analysis
data sets
databases
website
multiresolution
failure detection
failure diagnosis