Search
Now showing items 1-3 of 3
Toward a Verification of Time-Centric Business Process Models
Publisher: IEEE
Year: 2014
A Collaborative Process for Developing Secure Component Based Applications
Publisher: IEEE
Year: 2014
Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes
Publisher: IEEE
Year: 2014