• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Article
Homing Sequence Derivation with Quantified Boolean Satisfiability

Tu K., Wang H., Jiang J. R. et al.

IEEE Transactions on Computers. 2021.

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