×

Found 2 Documents (Results 1–2)

Newest Citations Relevance
Bartocci, Ezio; Liò, Pietro; Merelli, Emanuela; Paoletti, Nicola

Multiple verification in complex biological systems: the bone remodelling case study. (English) Zbl 1381.74152

Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XIV. Special issue on computational models for cell processes. Berlin: Springer (ISBN 978-3-642-35523-3/pbk). Lecture Notes in Computer Science 7625. Lecture Notes in Bioinformatics. Journal Subline, 53-76 (2012).
MSC:  74L15 92C30 92C42
Cite Review PDF
Full Text: DOI
Bartocci, Ezio; Grosu, Radu; Katsaros, Panagiotis; Ramakrishnan, C. R.; Smolka, Scott A.

Model repair for probabilistic systems. (English) Zbl 1316.68070

Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 326-340 (2011).
MSC:  68Q60 68Q87 90C30
Cite Review PDF
Full Text: DOI

Filter Results by …

all top 5

Author

Year of Publication

all top 3

Main Field

all top 3

Software