Logical representation of maintenance procedures for verification and analysis.

Sean Reed Magnus Löfstrand

Published in: SoSE (2016)

Keyphrases

logical representation
data analysis
model checking
decision making
statistical analysis
artificial intelligence
knowledge representation
general purpose
formal analysis