Specification and verification of harmonized business-process collaborations

By Norta Alex   Eshuis Rik  

Information Systems Frontiers, Vol. 12, Iss. 4, 2010-09 ,pp. : 457-479

Springer Publishing Company

Access to resources Recommend Favorite

Automatic Verification of Static Policies on Software Process Models

By Reis R.Q.  

Annals of Software Engineering, Vol. 14, Iss. 1-4, 2002-12 ,pp. : 197-234

Springer Publishing Company

Access to resources Recommend Favorite

Formal verification of a leader election protocol in process algebra

By Fredlund L.-a.   Groote J.F.   Korver H.  

Theoretical Computer Science, Vol. 177, Iss. 2, 1997-05 ,pp. : 459-486

Elsevier

Access to resources Recommend Favorite

Mechatronics-based in-process verification for flexible manufacturing systems

By Mayor Rhett   Bright Glen  

Assembly Automation, Vol. 19, Iss. 2, 1999-02 ,pp. : 139-145

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Compositional software verification based on game semantics and process algebra

By Dimovski Aleksandar   Lazić Ranko  

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 1, 2007-02 ,pp. : 37-51

Springer Publishing Company

Access to resources Recommend Favorite