Login / Signup

Using B to Verify the Weaving of Aspects.

Ninh-Thuan TruongViet Ha Nguyen
Published in: APSEC (2007)
Keyphrases
  • real time
  • real world
  • decision making
  • pairwise
  • objective function
  • preprocessing
  • relational databases
  • design process