ODABA is an terminology-oriented database management system and develo
Specifications for TRAK architecture views
Open-source code generator for Simulink/Stateflow
Jupyter notebooks that demonstrate how to build models using SageMaker
Petri net framework for security related modeling and reasoning.
Provenance in NetLogo