• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

How to make a simple tool for verification of real-time systems

Automatic Control and Computer Sciences. 2014. Vol. 48. No. 7. P. 534-542.
Konnov I., Podymov V.V., Volkanov D., Zorin D., Zakharov V.A.