Login / Signup

Applications of polyhedral computations to the analysis and verification of hardware and software systems.

Roberto BagnaraPatricia M. HillEnea 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