1. Home
  2. Issues
  3. Volume 26, Issue 4 (2015)
  4. Specifying and Verifying External Behavi ...

Informatica


Cited by 1
Specifying and Verifying External Behaviour of Fair Input/Output Automata by Using the Temporal Logic of Actions

A New Business Process Verification Approach for E-Commerce Using Petri Nets
Mei Zhang, Fei Feng, Zhilong Zhang, Jinghua Wen
https://doi.org/10.4018/IJEIS.2020010105
Journal  International Journal of Enterprise Information Systems Volume 16, Issue 1 (2020), p. 92


Share


RSS