Evaluation of temporal datasets via interval temporal logic model checking (Q6486433)

From MaRDI portal
scientific article; zbMATH DE number 7649996
Language Label Description Also known as
English
Evaluation of temporal datasets via interval temporal logic model checking
scientific article; zbMATH DE number 7649996

    Statements

    Evaluation of temporal datasets via interval temporal logic model checking (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    3 February 2023
    0 references
    dataset evaluation
    0 references
    temporal databases
    0 references
    model checking
    0 references
    interval temporal logics
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references