×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [promela example bpel]
Home >
promela example bpel
Generating test cases specifications for BPEL compositions of web services using SPIN José García-Fanjul, Javier Tuya, and Claudio de la Riva Pointner.
215 views