Explore projects

This repository contains the algorithms and data used in the paper submitted to the Isola Conference 2020.

A TLA Specification of a data broker.

A native framework for generated hybrid co-simulations