JOpera
From MaRDI portal
Software:22537
No author found.
Related Items (3)
Formal verification technique for grid service chain model and its application ⋮ DSOL: a declarative approach to self-adaptive service orchestrations ⋮ Cloud computing for small research groups in computational science and engineering: current status and outlook
This page was built for software: JOpera