Papers in Journals
- 61. سید مرتضی بابامیر,سعید جلیلی,Making real-time systems fault tolerant: a specification-based approach,Journal of Scientific and Industrial Research,Vol. 69,pp. 501,2010 07 11,SCOPUS ,JCR.
- 62. سید مرتضی بابامیر,سعید جلیلی,Synthesizing A Specification-Based Monitor For Safety Requirements,Iranian Journal of Science & Technology, Transaction B: Engineering,Vol. 34,pp. 235,2010 06 01,SCOPUS ,JCR.
- 63. مینا چاوشی,سید مرتضی بابامیر,Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software,CAII transactions on intelligent technology,1970 01 01,SCOPUS ,JCR.
- 64. مینا چاوشی,سید مرتضی بابامیر,Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software,CAII transactions on intelligent technology,0000 00 00,SCOPUS ,JCR.
- 65. اعظم عندلیب,سید مرتضی بابامیر,Anomaly Detection of Policies in Distributed Firewalls using Data Log Analysis,The Journal of Supercomputing,0000 00 00,SCOPUS ,JCR.
Showing 61-65 of 65 items.