HYASM: A Tool to Verify Hierarchical Systems.

Angelo Ferrando Vadim Malvone Aniello Murano Silvia Stranieri

Published in: WETICE (2023)

Keyphrases

real time
learning systems
real world
learning algorithm
computer systems
building blocks
database
neural network
expert systems
information retrieval systems
distributed systems
intelligent systems