PTTC.PNG
Skip to main content.

исследование пространства состояний
Дата последнего изменения:2016.02.10
Сообщить об ошибке
  исследование пространства состояний
 Эффективный способ автоматической верификации параллельных программных систем (см. также parallel system, state space, verification).
[Э.М. Пройдаков, Л.А. Теплицкий]
EN

FR

Тематики

  • информационные технологии в целом

EN

  • state space exploration
  • state-space exploration
  • SSE

 

Внимание!

Закрыть