High-level Petri net for incremental analysis of object-oriented system requirements

Jang-Eui Hong, Doo-Hwan Bae. High-level Petri net for incremental analysis of object-oriented system requirements. IEE Proceedings - Software, 148(1):11-18, 2001.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.