Browse by Author/Person
Number of items: 2. Mahdian, Farzaneh and Rafe, Vahid and Rafeh, Reza and Torkeman Rahmani, Adel (2009) Modeling Fault Tolerant Services in Service-Oriented Architecture. Third IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, 29-31 July 2009 . Torkeman Rahmani, Adel and Rafeh, Reza and Rafe, Vahid and Asadollahi, Somayeh (2009) Towards Automated Software Verification Using Model Checking Techniques. Sixth International Symposium on Theoretical Aspects of Software Engineering , Tianjin, China, 29-31 July, 2009 . |
