mixail7/diagramToPromela
Перевод диаграмм потоков работ (перспектив потока управления и перспективы ресурсов) в PROMELA для последующей верификации в SPIN.
Developer Profile
mixail7
Discovered public repositories for mixail7 in the GitHub catalog.
mixail7/modeler
Исследование возможности применения Model Driven Development на этапе концептуального проектирования автоматизированных систем