The docker contains the scripts to apply the trained model, trained saved in the resource folder. read more of ADIOS - I-NERGY Apply Model

Dezyne is a programming language and a set of tools to specify, validate, verify, simulate, document, and implement concurrent control software for embedded and cyber-physical systems. read more of Dezyne

Verifiable and Explainable RIsk Forecasting Artificial Intelligence Framework read more of VERIFAI