Login / Signup

Modeling and Verifying WS-CDL Using Event-B.

Hong Anh LeNinh-Thuan Truong
Published in: ICCASA (2012)
Keyphrases
  • databases
  • genetic algorithm
  • modeling method
  • real time
  • website
  • software engineering