“Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models

DOI10.1007/978-3-540-71209-1_27zbMath1186.92021OpenAlexW1548119156MaRDI QIDQ5758117

E. Jane Albert Hubbard, Hillel Kugler, Amir Pnueli, Michael J. Stern

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_27

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Admissibility in statistical decision theory (62C15) Computational methods for problems pertaining to biology (92-08) Systems biology, networks (92C42)

This page was built for publication: “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models