Login / Signup

A Process Algebra Based Aspect Weaving Model.

Chunhua YangHaiyang Wang
Published in: CSSE (2) (2008)
Keyphrases
  • process algebra
  • high level
  • model checking
  • machine learning
  • formal specification