Consistency in parametric interval probabilistic timed automata (Q2291816): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q127903467, #quickstatements; #temporary_batch_1722360600149
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/j.jlamp.2019.04.007 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.JLAMP.2019.04.007 / rank
 
Normal rank

Latest revision as of 20:45, 17 December 2024

scientific article
Language Label Description Also known as
English
Consistency in parametric interval probabilistic timed automata
scientific article

    Statements

    Consistency in parametric interval probabilistic timed automata (English)
    0 references
    0 references
    0 references
    0 references
    31 January 2020
    0 references
    parametric verification
    0 references
    timed probabilistic systems
    0 references
    parametric probabilistic timed automata
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references