• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Article
On reduced forms of initialized Finite State Machines with timeouts

Tvardovskii A. S., N. V. Yevtushenko.

Proceedings of the Institute for System Programming of the RAS. 2020. Vol. 32. No. 2. P. 125-134.

Book chapter
Optimizing Components of Multi-Module Systems Based on don’t Care Input Sequences

Shirokova E., Евтушенко Л. Г., Laputenko A. et al.

In bk.: Proceedings 2020 IEEE East-West Design & Test Symposium (EWDTS). Varna: IEEE, 2020. P. 159-163.

Working paper
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

News

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.