Login / Signup
Applications of polyhedral computations to the analysis and verification of hardware and software systems.
Roberto Bagnara
Patricia M. Hill
Enea Zaffanella
Published in:
Theor. Comput. Sci. (2009)
Keyphrases
</>
hardware and software
computer systems
low cost
data analysis
hardware software
database
information technology
control system
object oriented
formal methods
remote monitoring