Home » com.github » ualegre

Group: GitHub Ualegre

Sort: popular | newest

1. VerA Manager1 usages

com.github.ualegre » vera-managerGPL

VerA Manager
Last Release on Feb 9, 2023

2. Lfpubs2m1 usages

com.github.ualegre » lfpubs2mGPL

A Java project that enables the translation of rules from the LFPUBS (Learning Frequent Patterns of User Behaviours) tool to the M reasoning language.
Last Release on Jan 15, 2023

3. M2nusmv1 usages

com.github.ualegre » m2nusmv

M2nusmv
Last Release on Apr 25, 2022

4. Mreasoner

com.github.ualegre » mreasonerGPL

Mreasoner
Last Release on Apr 25, 2022