Login / Signup

Model transformation and formal verification for Semantic Web Services composition.

Yue NiYushun Fan
Published in: Adv. Eng. Softw. (2010)
Keyphrases
  • formal verification
  • model checking
  • real time
  • probabilistic model
  • knowledge based systems
  • process algebra