Pinned Repositories
strategoTraffic
A case study for traffic light optimization using SUMO and Uppaal Stratego.
aauLatexTemplates
A collection of Aalborg University LaTeX-templates
SMAcc-exp
experimental version
spreadsheets
Task graph repository, models, etc
talk-traffic-two
transportClient
android client for transport
transportServer
transport server
MobicaExperiment
spreadsheets
Task graph repository, models, etc
marmux's Repositories
marmux/aauLatexTemplates
A collection of Aalborg University LaTeX-templates
marmux/SMAcc-exp
experimental version
marmux/spreadsheets
Task graph repository, models, etc
marmux/strategoTraffic
A case study for traffic light optimization using SUMO and Uppaal Stratego.
marmux/talk-traffic-two
marmux/transportClient
android client for transport
marmux/transportServer
transport server