Combining Refinement and Signal-Temporal Logic for Biological Systems

Muhammad Usman Sanwal, Umair Siddique

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationIntelligent Computer Mathematics
    FörlagSpringer
    Sidor333–339
    StatusPublicerad - 2017
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference - 2nd International Conference on Computer Science and Artificial Intelligence
    Varaktighet: 1 jan 2018 → …

    Konferens

    Konferensconference
    Period01/01/18 → …

    Citera det här