skip to content
  • it
DEL SANNIO   Benevento

Pubblicazioni di ateneo

Found 1 results
Author Titolo [ Tipo(Desc)] Anno
Filters: Author is Ruvo, Giuseppe De  [Clear All Filters]
Conference Paper
textbfCeccarelli, \textbfM. \, L. Cerulo, G. De Ruvo, V. Nardone, and A. Santone, "Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking", Formal Methods in Software Engineering (FormaliSE), 2015 IEEE/ACM 3rd FME Workshop on: IEEE, pp. 26–32, 2015.