Enabling technologies of agile manufacturing and its related activities in Korea
Computers and Industrial Engineering - Special issue: IE in Korea
On the automatic generation of workflow processes based on product structures
Computers in Industry
A reflective infrastructure for workflow adaptability
Data & Knowledge Engineering
Hi-index | 0.00 |
Non-repudiation service is crucial to electronic commerce. We have made some research of ATL logic method and its applications in multi-party security protocols formalized analysis. A typical multi-party non-repudiation protocol is modeled and analyzed ...