Login / Signup
Model transformation and formal verification for Semantic Web Services composition.
Yue Ni
Yushun Fan
Published in:
Adv. Eng. Softw. (2010)
Keyphrases
</>
formal verification
model checking
real time
probabilistic model
knowledge based systems
process algebra