PPTL specification mining based on LNFG (Q2089678)

From MaRDI portal
scientific article
Language Label Description Also known as
English
PPTL specification mining based on LNFG
scientific article

    Statements

    title
    PPTL specification mining based on LNFG (English)
    0 references
    author
    Xinya Ning
    0 references
    Nan Zhang
    0 references
    Zhenhua Duan
    0 references
    Cong Tian
    0 references
    publication date
    24 October 2022
    0 references
    zbMATH Keywords
    specification mining
    0 references
    temporal logic
    0 references
    formal specification
    0 references
    labeled normal form graph
    0 references
    describes a project that uses
    Texada
    0 references
    PPTLMiner
    0 references
    PPTL_SPIN
    0 references
    DynaMine
    0 references
    SPIN
    0 references

    Identifiers

    zbMATH DE Number
    7605947
    0 references
    OpenAlex ID
    W4297498026
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2089678&oldid=38873269"
    Powered by MediaWiki