Login / Signup

Abstraction of Communication Channels in Promela: A Case Study.

Elena FersmanBengt Jonsson
Published in: SPIN (2000)
Keyphrases
  • communication channels
  • case study
  • test bed
  • high level
  • databases
  • real time
  • neural network
  • artificial intelligence
  • face recognition
  • preprocessing
  • evolutionary algorithm
  • data abstraction
  • high level abstractions