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

  • Stars
    star
    2
  • Language
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
DEIS-Tools/Battery-Aware-Modelling-and-Analysis-of-a-Sigfox-based-IoT-Network-using-UPPAAL-SMC
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

AalWiNes

C++
11
star
2

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
3

DistributedExercisesAAU

Python
8
star
4

H-Uppaal

Java
8
star
5

uppaal-models

Uppaal Model Repository
q
7
star
6

strategoutil

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

PDAAAL

PushDown Automata - AALborg
C++
5
star
8

PARDIBAAL

Difference Bounded Matrix Library
C++
4
star
9

libstrategy

C++
3
star
10

libprlearn

A Partition Refinement Based Learning-library
C++
3
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