Login / Signup
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.
Lina Bentakouk
Pascal Poizat
Fatiha Zaïdi
Published in:
TestCom/FATES (2009)
Keyphrases
</>
web services
artificial intelligence
domain independent
formal methods