#

framework-simulation

Here is 1 public repository matching this topic...

TruDaMul_FrameWork_Simulations

R0mb0 / TruDaMul_FrameWork_Simulations

The aim of this work is create a basic Implementation of "TruDaMul" framework and test it creating simple simulations; using "NuSMV" language.

blockchain university-project nusmv italian-language italian-developers r0mb0 trudamul framework-simulation

Updated Dec 3, 2024
TeX

Improve this page

Add a description, image, and links to the framework-simulation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the framework-simulation topic, visit your repo's landing page and select "manage topics."