Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters /
Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2008
Main Authors: | , |
---|---|
Format: | |
Published: |
2008
|
Subjects: | |
Online Access: | http://eprints.utm.my/9533 |