Toggle navigation
Welcome to Giuseppe De Ruvo's personal website
Home
Publications
Service
Contact
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking
M. Ceccarelli, L. Cerulo,
G. De Ruvo
, V. Nardone, A. Santone
Type
Conference paper
Publication
In Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2015, Florence, Italy, May 2015, pp 26-32
Date
May, 2015
Links
Preprint
×
Cite