Suggested Topics within your search.
Showing 1 - 7 results of 7 for search '"model checking"', query time: 0.04s Refine Results
  1. 1
    Principles of model checking /
    by Baier, Christel
    Published 2012
    Get full text
    Printed Book
  2. 2
    Unfolding a partial-order approach to model checking
    by Esparza, Javier
    Published 2008
    Printed Book
  3. 3
    Measurement Error Models
    Subjects: “...Factor Analysis,,Model Checks,Multivariate Models,Calibration,Vector Explanatory Variables...”
    Printed Book
  4. 4
    Symbolic Systems Biology: Theory and Methods
    by M Sriram Iyengar [ Editor ]
    Published 2009
    Table of Contents: “...Chapter 1. Symbolic Systems Biology and Pathway Logic -- Chapter 2. Probabilistic Model Checking...”
    Printed Book
  5. 5
    Computational semantics with functional programming /
    by Eijck, J. van
    Published 2010
    Table of Contents: “... -- Functional programming with Haskell -- Formal syntax for fragments -- Formal semantics for fragments -- Model...”
    Printed Book
  6. 6
    Finite and algorithmic model theory /
    Published 2011
    Cover image
    Printed Book
  7. 7
    Algorithms in computational molecular biology : techniques, approaches and applications /
    Published 2011
    Table of Contents: “... -- Modeling and analysis of biological networks with model checking / Dragan Bo�sna�cki ... [et al...”
    Printed Book
Search Tools: Get RSS Feed — Email this Search