Applying differential dynamic logic to reconfigurable biological networks (Q2411314)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Applying differential dynamic logic to reconfigurable biological networks
scientific article

    Statements

    Applying differential dynamic logic to reconfigurable biological networks (English)
    0 references
    0 references
    0 references
    0 references
    20 October 2017
    0 references
    differential dynamic logic
    0 references
    biological regulatory networks
    0 references
    hybrid systems
    0 references
    discrete controllers
    0 references
    0 references
    0 references
    0 references

    Identifiers