Pinned Repositories
Back-Pytherin
Pytherin's Back-end for Secret Voldemort
Front-Pytherin
Pytherin's Front-end for Secret Voldemort
momba
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
betoNER
Coyan
Coyan is a tool that processes Static Fault Trees to compute the Top Event Probabilty.
momba
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
NazaGara's Repositories
NazaGara/momba
A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
NazaGara/betoNER
NazaGara/Coyan
Coyan is a tool that processes Static Fault Trees to compute the Top Event Probabilty.