GitHub / 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.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/R0mb0%2FTruDaMul_FrameWork_Simulations
Stars: 1
Forks: 0
Open issues: 0
License: mit
Language: TeX
Size: 4.28 MB
Dependencies parsed at: Pending
Created at: about 3 years ago
Updated at: 5 months ago
Pushed at: 5 months ago
Last synced at: 8 days ago
Topics: blockchain, framework-simulation, italian-developers, italian-language, nusmv, r0mb0, trudamul, university-project
Funding Links PayPal.Me/R0mb0, https://github.com/sponsors/R0mb0