Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters [electronic resource] /
Thesis (Sarjana Sains (Sains Komputer) ) - Universiti Teknologi Malaysia, 2008
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | |
| Έκδοση: |
2008
|
| Θέματα: |