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

Bibliographic Details
Main Authors: 210820 Hossein Nematzadeh Balagatabi, Safaai Deris, supervisor
Format:
Published: 2008
Subjects:
Online Access:http://eprints.utm.my/9533