Browse by Author/Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 3.

Rafe, Vahid and Rafeh, Reza and Zand Miralvand, Mohammad Reza and Alavizadeh, Alavie Sadat (2009) Automated Model Checking of Stochastic Graph Transformation Systems. International Conference on Computer Technology and Development (ICCTD), Kota Kinabalu, Malaysia, 13-15 November 2009.

Zand Miralvand, Mohammad Reza and Rafe, Vahid and Rafe, Reza and Hajiee, Maryam (2009) Automatic Refinement of Platform Independent Models. International Conference on Computer Technology and Development (ICCTD), Kota Kinabalu, Malaysia , 13-15 November 2009 .

Rafe, Vahid and Rafeh, Reza and Azize, Somayeh and Zand Miralvand, Mohammad Reza (2009) Verification and Validation of Activity Diagrams Using Graph Transformation. International Conference on Computer Technology and Development (ICCTD 2009), Kota Kinabalu, Malaysia, 13-15 November 2009 .

This list was generated on Thu Nov 15 01:07:57 2018 NZDT.