Anthony Huang's repositories
ecustshangweiji
ecust 上位机
DAG-scheduling
C++ library to handle real-time DAG task and test several implemented schedulability methods from real-time literature
Language:C++GPL-2.0000
MathModel
研究生数学建模，本科生数学建模、数学建模竞赛优秀论文，数学建模算法，LaTeX论文模板，算法思维导图，参考书籍，Matlab软件教程，PPT
Language:TeX000
PyUPPAAL
A research tool that can modify and verify UPPAAL models with python. It can also help to parse counter-examples, or find all possible patterns of a UPPAAL property.
Language:PythonMIT000