DEIS-Tools/AalWiNes DEIS-Tools/AalWiNes

  • Stars
    star
    11
  • Rank 1,685,761 (Top 34 %)
  • Language
    C++
  • License
    GNU General Publi...
  • Created about 5 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
DEIS-Tools/AalWiNes
github

DEIS-Tools

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

MAES

MAES is a tool for simulating and testing exploration algorithms in a realistic continuous space environment. Maes is visualised and physics driven using the Unity Game Engine. Maes was created as part of a Master's Thesis at Aalborg University, Denmark, on the subject of distributed systems.
C#
9
star
2

H-Uppaal

Java
8
star
3

uppaal-models

Uppaal Model Repository
q
7
star
4

DistributedExercisesAAU

Python
7
star
5

strategoutil

Utility functions to interface UPPAAL Stratego with python
Python
6
star
6

PDAAAL

PushDown Automata - AALborg
C++
5
star
7

PARDIBAAL

Difference Bounded Matrix Library
C++
4
star
8

libstrategy

C++
3
star
9

libprlearn

A Partition Refinement Based Learning-library
C++
3
star
10

Battery-Aware-Modelling-and-Analysis-of-a-Sigfox-based-IoT-Network-using-UPPAAL-SMC

2
star
11

MoniTAal

C++
2
star
12

ns3-sigfox

This repository contains the code for the Sigfox module for network simulator 3
C++
1
star
13

DEIS-MCC

Shell
1
star