C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Improving Reachability Analysis of Infinite State Systems by Specialization.
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Valerio Senni
Published in:
RP (2011)
Keyphrases
</>
reachability analysis
low cost
intelligent systems
expert systems
computer systems
complex systems
artificial intelligence
management system
embedded systems