Next:
1. INTRODUCTION
Up:
DCHARTS, A FORMALISM FOR
Previous:
List of Figures
Contents
Index
List of Tables
1.1.
Atomic DEVS
1.2.
Coupled DEVS
4.1.
An example of the textual representation of a simple state hierarchy
4.2.
State properties in the textual syntax
4.3.
An example of the textual representation of state properties
4.4.
An example of the textual representation of orthogonal components
4.5.
An example of the textual representation of transitions
4.6.
An example of the textual representation of a timed transition
4.7.
An example of the textual representation of priority numbers
4.8.
An example of the textual representation of histories
4.9.
An example of the textual representation of an enter action and an exit action
4.10.
An example of the textual representation of an importation
4.11.
An example of the textual representation of ports
4.12.
An example of the textual representation of connections
4.13.
An example of the textual representation of macros
4.14.
An example of the textual representation of a macro redefinition
4.15.
An example of the textual representation of a once timed transition
4.16.
Default values for initializer, finalizer and interactor
4.17.
An example of the textual representation of a snapshot/restore description
4.18.
An example of the textual representation of comments
5.1.
An example of the textual representation of a function definition in a DCharts model
7.1.
An example of an extended regular expression
8.1.
Trade-offs between SVM and SCC
9.1.
Rounds and tasks in a software development process
[][]
Other formats:
.tar.gz
,
.pdf
Thomas Huining Feng 2004-04-28