A Modal Temporal Dynamic Logic: Doing the Deadline

J. Scheerder, Roelf J. Wieringa

    Research output: Book/ReportReportOther research output

    20 Downloads (Pure)

    Abstract

    In this report, an investigation into the aspects of formal system specification that manifest themselves when considering both time and system dynamics is carried out. A logic to express temporal dynamic properties is developed.
    Original languageUndefined
    Place of PublicationAmsterdam
    PublisherFaculty of Mathematics and Computer Science, Vrije Universiteit
    Number of pages28
    Publication statusPublished - 3 Aug 1997

    Publication series

    NameTechnical Report / Faculty of Mathematics and Computer Science
    PublisherVrije Universiteit, Faculty of Mathematics and Computer Science
    No.IR-433

    Keywords

    • EWI-10699
    • SCS-Services
    • IR-80259

    Cite this

    Scheerder, J., & Wieringa, R. J. (1997). A Modal Temporal Dynamic Logic: Doing the Deadline. (Technical Report / Faculty of Mathematics and Computer Science; No. IR-433). Amsterdam: Faculty of Mathematics and Computer Science, Vrije Universiteit.
    Scheerder, J. ; Wieringa, Roelf J. / A Modal Temporal Dynamic Logic: Doing the Deadline. Amsterdam : Faculty of Mathematics and Computer Science, Vrije Universiteit, 1997. 28 p. (Technical Report / Faculty of Mathematics and Computer Science; IR-433).
    @book{f2f71842930742d19d9b7853c08d306b,
    title = "A Modal Temporal Dynamic Logic: Doing the Deadline",
    abstract = "In this report, an investigation into the aspects of formal system specification that manifest themselves when considering both time and system dynamics is carried out. A logic to express temporal dynamic properties is developed.",
    keywords = "EWI-10699, SCS-Services, IR-80259",
    author = "J. Scheerder and Wieringa, {Roelf J.}",
    year = "1997",
    month = "8",
    day = "3",
    language = "Undefined",
    series = "Technical Report / Faculty of Mathematics and Computer Science",
    publisher = "Faculty of Mathematics and Computer Science, Vrije Universiteit",
    number = "IR-433",

    }

    Scheerder, J & Wieringa, RJ 1997, A Modal Temporal Dynamic Logic: Doing the Deadline. Technical Report / Faculty of Mathematics and Computer Science, no. IR-433, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam.

    A Modal Temporal Dynamic Logic: Doing the Deadline. / Scheerder, J.; Wieringa, Roelf J.

    Amsterdam : Faculty of Mathematics and Computer Science, Vrije Universiteit, 1997. 28 p. (Technical Report / Faculty of Mathematics and Computer Science; No. IR-433).

    Research output: Book/ReportReportOther research output

    TY - BOOK

    T1 - A Modal Temporal Dynamic Logic: Doing the Deadline

    AU - Scheerder, J.

    AU - Wieringa, Roelf J.

    PY - 1997/8/3

    Y1 - 1997/8/3

    N2 - In this report, an investigation into the aspects of formal system specification that manifest themselves when considering both time and system dynamics is carried out. A logic to express temporal dynamic properties is developed.

    AB - In this report, an investigation into the aspects of formal system specification that manifest themselves when considering both time and system dynamics is carried out. A logic to express temporal dynamic properties is developed.

    KW - EWI-10699

    KW - SCS-Services

    KW - IR-80259

    M3 - Report

    T3 - Technical Report / Faculty of Mathematics and Computer Science

    BT - A Modal Temporal Dynamic Logic: Doing the Deadline

    PB - Faculty of Mathematics and Computer Science, Vrije Universiteit

    CY - Amsterdam

    ER -

    Scheerder J, Wieringa RJ. A Modal Temporal Dynamic Logic: Doing the Deadline. Amsterdam: Faculty of Mathematics and Computer Science, Vrije Universiteit, 1997. 28 p. (Technical Report / Faculty of Mathematics and Computer Science; IR-433).