GitHub topics: modelling-distributed-systems
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: Python - Size: 4.7 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 11 - Forks: 2
ac259/LamporTLA
TLA+ examples and modelling
Language: TLA - Size: 415 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
