• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Article
Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage.

Tvardovskii A., El-Fakih K., Gromov M. et al.

Automatic Control and Computer Sciences. 2018. Vol. 51. No. 7. P. 724-730.

Book chapter
Minimizing Deterministic Timed Finite State Machines

Bresolin D., Tvardovskii A., Nina Yevtushenko et al.

In bk.: IFAC-PapersOnLine (T.V.51.Вып 7). Elsevier, 2018. P. 486-492.

ISPRAS OPEN 2016

We invite you to participate in The Open Conference of the ISPRAS, which will take place on December 5-9, 2016 in the building of the Presidium of The Russian Academy of Sciences located at the address: Moscow, Leninskiy prospekt, 32A.