-
Formal Mind GmbH
- Düsseldorf, Germany
- http://formalmind.com
- @jastram
Popular repositories Loading
-
sysmlv2-ai-demo
sysmlv2-ai-demo PublicAI-assisted systems engineering demo using SysML v2, Syside, and a tailored SYSMOD-based method. The repository develops a small greenfield product step by step from stakeholder needs to requiremen…
Python 2
-
-
-
-
web_bank
web_bank PublicForked from interesse/web_bank
Command line tool to export the credit card transactions from visa cards issued by the German Bank DKB.
Python
-
model-evaluation
model-evaluation PublicForked from openETCS/model-evaluation
part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
C
If the problem persists, check the GitHub status page or contact support.