A General Modular Synthesis Problem for Pushdown Systems.

Ilaria De Crescenzo Salvatore La Torre

Published in: VMCAI (2016)

Keyphrases

special case
information technology
computer systems
multiscale
expert systems
management system
database
neural network
image processing
intelligent systems
knowledge based systems
building blocks
closely related
computing systems