مؤتمر
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 |
|---|