Login / Signup

Program Slicing of Hardware Description Languages.

Edmund M. ClarkeMasahiro FujitaSreeranga P. RajanThomas W. RepsSubash ShankarTim Teitelbaum
Published in: CHARME (1999)
Keyphrases
  • description languages
  • program slicing
  • description language
  • semantic web services
  • web services
  • service discovery
  • machine learning
  • artificial intelligence
  • case study
  • semi automatic