Login / Signup
A Process Algebra Based Aspect Weaving Model.
Chunhua Yang
Haiyang Wang
Published in:
CSSE (2) (2008)
Keyphrases
</>
process algebra
high level
model checking
machine learning
formal specification