نمایش / عدم نمایش بخش جستجو

Probabilistic approximation of runtime quantitative verification in self-adaptive systems 1399/12/19 11:13:50

نویسندگان : Mehran Alidoost Nia Mehdi Kargahi Fathiyeh Faghih
زبان : انگلیسی سال انتشار : 2020 محل پذیرش : Microprocessors and Microsystems

دسته بندی مقالات

مقالات تصادفی

THE HISTOLOGICAL STUDY OF OVARIAN DEVELOPMENT OF KUTUM (Rutilus frisii kutum Kamenskii, 1901) IN SOUTHWESTERN OF CASPIAN SEA
1394/11/06 22:29:31
کاربرد شبکه عصبي مصنوعي در برآورد حجم تنه درختان
1395/09/29 14:21:08
The study of citizen participation role on the reinforcement of the improvement-renovation plan with special reference to the empowerment approach case study: shahid Garebaghi neighborhood-Tabriz-Iran
1394/02/26 20:57:40
The Almogholagh pluton, Sanandaj-Sirjan zone, Iran: geochemistry, U-(Th)-Pb titanite geochronology and implications for its tectonic evolution
1394/08/23 18:10:18
بررسی سیستم پاداش در شرکت های سونی و هوندا
1396/11/30 16:31:41