Building Correct-by-Construction Systems with Formal Patterns.

Published in: WADT (2022)

Keyphrases

neural network
distributed systems
formal methods
expert systems
artificial neural networks
management system
retrieval systems
learning algorithm
case study
multiscale
mobile robot
data mining techniques
computer systems
knowledge based systems
pattern mining
similar patterns