/SYSC5500-project

Modelling a Mirai-like botnet using networks of timed automata in UPPAAL

Primary LanguageTeX

Stargazers

No one’s star this repository yet.