modelling-distributed-systems

There are 2 repositories under modelling-distributed-systems topic.

  • gassraphael/AlphaPEM

    AlphaPEM is an open-source software package for simulating proton exchange membrane fuel cell (PEMFC) systems using physics-based models for embedded applications.

    Language:Python13102

  • ac259/LamporTLA

    TLA+ examples and modelling

    Language:TLA10