A Modal Temporal Dynamic Logic: Doing the Deadline

J. Scheerder, Roelf J. Wieringa

Research output: Book/ReportReportOther research output

19 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).