hgp456

DAG-scheduling

C++ library to handle real-time DAG task and test several implemented schedulability methods from real-time literature

ecustshangweiji

ecust 上位机

MathModel

研究生数学建模，本科生数学建模、数学建模竞赛优秀论文，数学建模算法，LaTeX论文模板，算法思维导图，参考书籍，Matlab软件教程，PPT

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.

QT-SoftwareHardwaretool

hgp456/ecustshangweiji

ecust 上位机

hgp456/QT-SoftwareHardwaretool

hgp456/DAG-scheduling

C++ library to handle real-time DAG task and test several implemented schedulability methods from real-time literature

hgp456/MathModel

研究生数学建模，本科生数学建模、数学建模竞赛优秀论文，数学建模算法，LaTeX论文模板，算法思维导图，参考书籍，Matlab软件教程，PPT

hgp456/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.