Papers in Journals
| # | Paper Title | Authors | Journal | Published At |
|---|---|---|---|---|
| 61 | Active Program Analysis Using Rule-Based Modification and Aspectation | S.M. Babamir | ُStudies in Informatics and Control | 2011-11-11 |
| 62 | A Framework for Specifying Safe Behavior of the CIIP Medical System | S.M. Babamir | Advances in Experimental Medicine and Biology Series, Collection Software Tools and Algorithms for Biological Systems | 2011-03-15 |
| 63 | Constructing Formal Rules to verify Message Communication in Distributed Systems | S.M. Babamir | The Journal of Supercomputing | 2011-01-27 |
| 64 | Constructing a Model-Based Software Monitor for the Insulin Pump Behavior | S.M. Babamir | Journal of Medical Systems | 2010-07-13 |
| 65 | Making real-time systems fault tolerant: a specification-based approach | S.M. Babamir and S.Jalili | Journal of Scientific and Industrial Research | 2010-07-11 |
| 66 | Synthesizing A Specification-Based Monitor For Safety Requirements | S.M. Babamir and S.Jalili | Iranian Journal of Science & Technology, Transaction B: Engineering | 2010-06-01 |
| 67 | Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software | مینا چاوشی,سید مرتضی بابامیر | CAII transactions on intelligent technology | 1970-01-01 |
| 68 | Fuzzy Colored Petri Nets-Based Method to Analyze and Verify the Functionality of Software | مینا چاوشی,سید مرتضی بابامیر | CAII transactions on intelligent technology | 0000-00-00 |
Showing 61-68 of 68 items.