Abstract
| Original language | Undefined |
|---|---|
| Place of Publication | Amsterdam |
| Publisher | Faculty of Mathematics and Computer Science, Vrije Universiteit |
| Number of pages | 28 |
| Publication status | Published - 3 Aug 1997 |
Publication series
| Name | Technical Report / Faculty of Mathematics and Computer Science |
|---|---|
| Publisher | Vrije Universiteit, Faculty of Mathematics and Computer Science |
| No. | IR-433 |
Keywords
- EWI-10699
- SCS-Services
- IR-80259
Cite this
}
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/Report › Report › Other 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 -