Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Applications of an expressive statistical model checking approach to the analysis of genetic circuits
scientific article

    Statements

    Applications of an expressive statistical model checking approach to the analysis of genetic circuits (English)
    0 references
    0 references
    0 references
    29 September 2015
    0 references
    model checking
    0 references
    stochastic methods
    0 references
    qualitative/quantitative analysis of biochemical systems
    0 references
    delayed stochastic dynamics
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers