gitlab.com topics: UPPAAL
SJort/advancedalgorithms
A class I followed about modelling and verifying a lock in UPPAAL.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
francescoracciatti/mechanoid
Turns the abstract model of a WSN into a fully working network model.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
francescoracciatti/marvin
Measures the effects of attacks against a WSN, starting from its abstract model.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
Related Keywords