Towards Deriving Test Sequences by Model Checking (Q2873605)

From MaRDI portal
Revision as of 13:41, 21 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Towards Deriving Test Sequences by Model Checking
scientific article

    Statements

    title
    Towards Deriving Test Sequences by Model Checking (English)
    0 references
    publication date
    24 January 2014
    0 references
    zbMATH DE Number
    6250193
    0 references
    zbMATH Keywords
    model checking
    0 references
    timed EFSM
    0 references
    conformance testing
    0 references
    suspicious configuration
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2873605&oldid=22208350"
    Powered by MediaWiki