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.
|Place of Publication||Amsterdam|
|Publisher||Faculty of Mathematics and Computer Science, Vrije Universiteit|
|Number of pages||28|
|Publication status||Published - 3 Aug 1997|
|Name||Technical Report / Faculty of Mathematics and Computer Science|
|Publisher||Vrije Universiteit, Faculty of Mathematics and Computer Science|