Verification of Use Case with Petri Nets in Requirement Analysis.

Jinqiang Zhao, Zhenhua Duan

Browse the full ICCSA paper archive.