Experiments on parallel composition of timed finite state machines
In this paper, we continue our work that is devoted to the parallel composition of Timed Finite State Machines (TFSMs). We consider the composition of TFSMs with timeouts and output delays. We held experiments in order to estimate how often parallel composition of nondeterministic TFSMs (with and wi...
| Published in: | Труды Института системного программирования РАН Т. 29, вып. 3. С. 233-246 |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Article |
| Language: | English |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000618606 Перейти в каталог НБ ТГУ |