Papers in Journals
- 61. S.M. Babamir,Active Program Analysis Using Rule-Based Modification and Aspectation,ُStudies in Informatics and Control,Vol. 20,pp. 381,2011 11 11,SCOPUS ,JCR.
- 62. S.M. Babamir,A Framework for Specifying Safe Behavior of the CIIP Medical System,Advances in Experimental Medicine and Biology Series, Collection Software Tools and Algorithms for Biological Systems,Vol. 696,pp. 637,2011 03 15,SCOPUS ,JCR.
- 63. S.M. Babamir,Constructing Formal Rules to verify Message Communication in Distributed Systems,The Journal of Supercomputing,Vol. 59,pp. 1396,2011 01 27,SCOPUS ,JCR.
- 64. S.M. Babamir,Constructing a Model-Based Software Monitor for the Insulin Pump Behavior,Journal of Medical Systems,Vol. 36,pp. 829,2010 07 13,SCOPUS ,JCR.
- 65. S.M. Babamir and S.Jalili,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.
- 66. S.M. Babamir and S.Jalili,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.
- 67. مینا چاوشی,سید مرتضی بابامیر,Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software,CAII transactions on intelligent technology,1970 01 01,SCOPUS ,JCR.
- 68. مینا چاوشی,سید مرتضی بابامیر,Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software,CAII transactions on intelligent technology,0000 00 00,SCOPUS ,JCR.
Showing 61-68 of 68 items.