×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [promela transitions]
Home >
promela transitions
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