Sign in
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation.
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Valerio Senni
Published in:
LOPSTR (2010)
Keyphrases
</>
experimental evaluation
complex systems
neural network
systems require
similarity measure
learning environment
distributed systems
building blocks
operating system
learning systems
programming environments