Generalization Strategies for the Verification of Infinite State Systems.

Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Valerio Senni

Published in: CILC (2010)

Keyphrases

computer systems
database
databases
neural network
expert systems
management system
distributed systems
intelligent systems
complex systems