Patient-Specific Models from Inter-Patient Biological Models and Clinical Records
Author: | Toni Mancini, Ivano Salvo, Federico Mari, Igor Melatti, Annalisa Massini, Stefano Sinisi, Enrico Tronci, Francesco Davi, Thomas DierkesORCiD, Rainald Ehrig, Susanna RöblitzORCiD, Brigitte Leeners, Tillmann H. C. Krüger, Marcel Egli, Fabian Ille |
---|---|
Document Type: | In Proceedings |
Parent Title (English): | Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD 2014) |
First Page: | 207 |
Last Page: | 214 |
Year of first publication: | 2014 |