X-by-Construction Meets Runtime Verification.

Maurice H. ter Beek Loek Cleophas Martin Leucker Ina Schaefer

Published in: ISoLA (1) (2022)

Keyphrases

model checking
decision making
construction process
database
social networks
knowledge base
decision trees
video sequences
expert systems
special case
digital images