Browse by Author/Person
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 Rafeh, 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 . |
