Pinned Repositories
DistributedExercisesAAU
UPPAAL-ProtoSugar
A framework for "quick & cheap" feature prototyping by means of mapping/rewriting UPPAAL models
P4_Projekt
Compiler til P4 projekt på software
P5_BalanceBall
Semester project which will allow a ball to be balanced in a 3 dimensional space with the help of an arduino MEGA, an NXShield and some lego(tm)
DistributedExercisesAAU
docs.uppaal.org
This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
docs.uppaal.org
This repo contains the official UPPAAL documentation published on https://docs.uppaal.org
sdfg610's Repositories
sdfg610/DistributedExercisesAAU
sdfg610/docs.uppaal.org
This repo contains the official UPPAAL documentation published on https://docs.uppaal.org