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