IEEE - Institute of Electrical and Electronics Engineers, Inc. - Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE)

Author(s): Michele Ceccarelli ; Luigi Cerulo ; Giuseppe De Ruvo ; Vittoria Nardone ; Antonella Santone
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2015
Conference Location: Florence, Italy
Conference Date: 18 May 2015
Page(s): 26 - 32
ISBN (Electronic): 978-1-4673-7043-1
DOI: 10.1109/FormaliSE.2015.12
Regular:

Gene regulatory relationships constitute a complex mechanism of interactions adopted by cells to control behaviours and functions of a living organism. The identification of such relationships... View More

Advertisement