@dblp

Symbolic model checking supporting formal verification of Grid service workflow models specified by UML activity diagrams.

, und . NOTERE, Seite 255-260. IEEE, (2010)

Links und Ressourcen

Tags