مؤتمر
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking
العنوان: | Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking |
---|---|
المؤلفون: | Ceccarelli, Michele, Cerulo, Luigi, De Ruvo, Giuseppe, Nardone, Vittoria, Santone, Antonella |
المصدر: | 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering |
بيانات النشر: | IEEE |
سنة النشر: | 2015 |
نوع الوثيقة: | conference object |
اللغة: | unknown |
DOI: | 10.1109/formalise.2015.12 |
الإتاحة: | https://doi.org/10.1109/formalise.2015.12Test http://xplorestaging.ieee.org/ielx7/7166199/7166542/07166694.pdf?arnumber=7166694Test |
رقم الانضمام: | edsbas.E9385640 |
قاعدة البيانات: | BASE |
DOI: | 10.1109/formalise.2015.12 |
---|