caxapa.ru :: А пусть верхний уровень - это сети Петри или еще что, что позволяет проводить формальную верификацию непротиворечивости.

Evgeny_CD^{Архитектор} (03.03.2015 16:05, просмотров: 85) ответил SciFi на Ага, это если "верхний уровень" безглючный. Что сомнительно.

А пусть верхний уровень - это сети Петри или еще что, что позволяет проводить формальную верификацию непротиворечивости.

Средства и методы разработки