mixail7/modeler
Исследование возможности применения Model Driven Development на этапе концептуального проектирования автоматизированных систем
Public GitHub Catalog
Discovered Sep 30, 2026
mixail7 / diagramToPromela
Перевод диаграмм потоков работ (перспектив потока управления и перспективы ресурсов) в PROMELA для последующей верификации в SPIN.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#19664720GitHub System ID
mixail7Organization / User
PublicVisibility
ActiveCatalog Status