On the Verification of Parametric Systems.

Dennis Peuter Philipp Marohn Viorica Sofronie-Stokkermans

Published in: CoRR (2023)

Keyphrases

learning systems
data mining
distributed systems
management system
image segmentation
case study
digital libraries
expert systems
information systems
access control
knowledge based systems
building blocks
data sets
computing systems
formal methods
asynchronous circuits
multimodal biometrics