• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Slicing Z specifications.

Fangjun WuTong Yi
Published in: ACM SIGPLAN Notices (2004)
Keyphrases
  • formal specification
  • delay insensitive
  • real time
  • neural network
  • social networks
  • high level
  • artificial neural networks
  • specification language
  • asynchronous circuits
  • concurrent systems