Parametric Systems: Verification and Synthesis.

Viorica Sofronie-Stokkermans

Published in: Fundam. Informaticae (2020)

Keyphrases

systems require
formal methods
distributed systems
database
computer vision
management system
intelligent systems
knowledge based systems
learning systems
program synthesis
security systems
retrieval systems
petri net
complex systems
building blocks
decision trees
information retrieval
neural network
databases