Электронная библиотека (репозиторий) Томского государственного университета
временные автоматы

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Minimizing deterministic timed finite state machines
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V. | Villa, Tiziano | Gromov, Maxim L. | Bresolin, Davide
Source: IFAC-PapersOnLine. 2018. Vol. 51, № 7. P. 486-492
Type: статьи в журналах
Date: 2018
Description: Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends ... More
Add   Conformance relations for finite state machines with timeouts
Authors: Kondratyeva, O. | Yevtushenko, Nina V. | Cavalli, Ana
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 10/3. С. 218-221
Type: статьи в журналах
Date: 2015
  • «
  • ←
  • 1
  • →
  • »
^